3713 search results - page 306 / 743 » Constructing a Calculus of Programs |
144
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
128
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...
114
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 ...
113
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...
124
click to vote
CORR
2010
Springer
15 years 4 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...