61 search results - page 1 / 13 » Compiling Inheritance using Partial Evaluation |
PEPM
1991
ACM
13 years 9 months ago
1991
ACM
PEPM
1998
ACM
13 years 10 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
PLDI
1996
ACM
13 years 10 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
LOPSTR
1992
Springer
13 years 10 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
DAGSTUHL
1996
13 years 7 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...