5090 search results - page 304 / 1018 » Constructing Strategies for Programming |
132
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
120
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...
119
click to vote
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
131
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
263
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...