|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
113
|
ILSoudergaard MIX: a self-applicable partial evaluator for experiments in compiler generation
– P Sestoft N D Jones
- 1989
|
|
155
|
The Concept of a Supercompiler
– Valentin F. Turchin
- 1986
|
|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
|
87
|
Opportunities for Online Partial Evaluation
– Erik Ruf, Daniel Weise
- 1992
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
44
|
Loop checking in partial deduction
– R Bol
- 1993
|
|
59
|
A general criterion for avoiding infinite unfolding during partial deduction
– M Bruynooghe, D De Schreye, B Martens
- 1992
|
|
43
|
An introduction to partial deduction
– J Komorowski
- 1992
|
|
59
|
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
– Bern Martens, John Gallagher
- 1995
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
179
|
A General Approach for Run-Time Specialization and its Application to C
– Charles Consel
- 1996
|
|
68
|
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages
– Charles Consel
- 1993
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
|
94
|
An Automatic Partial Evaluator for Full Prolog
– Dan Sahlin
- 1991
|
|
35
|
Logimix: A self-applicable partial evaluator for Prolog
– T Mogensen, A Bondorf
|
|
61
|
The derivation of an algorithm for program specialisation
– J Gallagher, M Bruynooghe
- 1991
|
