77 search results - page 7 / 16 » Imperative program optimization by partial evaluation |
ESOP
2003
Springer
14 years 22 days ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
CC
2003
Springer
14 years 22 days ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...