57 search results - page 1 / 12 » Towards Scalable Partial Evaluation of Declarative Programs |
76
Voted
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
JFLP
2002
14 years 9 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
98
Voted
PEPM
2004
ACM
15 years 2 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
SAS
2004
Springer
15 years 2 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
PADL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...