57 search results - page 1 / 12 » Towards Scalable Partial Evaluation of Declarative Programs |
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
JFLP
2002
13 years 4 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...
PEPM
2004
ACM
13 years 10 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
13 years 10 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
PADL
2007
Springer
13 years 11 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...