Sciweavers

1913 search results - page 240 / 383
» Architectural Concepts in Programming Languages
Sort
View
158
Voted
ASPLOS
2004
ACM
15 years 9 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
CIMCA
2008
IEEE
15 years 10 months ago
The C++ Hybrid Imperative Meta-Programmer: CHIMP
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
John Kenyon, Frederick C. Harris Jr., Sergiu M. Da...
98
Voted
VL
2007
IEEE
111views Visual Languages» more  VL 2007»
15 years 9 months ago
On to the Real World: Gender and Self-Efficacy in Excel
Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environme...
Laura Beckwith, Derek Inman, Kyle Rector, Margaret...
ICTAC
2005
Springer
15 years 9 months ago
A Rewriting Logic Sampler
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
José Meseguer
JUCS
2002
116views more  JUCS 2002»
15 years 3 months ago
Design for All as a Challenge for Hypermedia Engineering
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
Volker Mattick