|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
59
|
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
– Bern Martens, John Gallagher
- 1995
|
|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
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
|
|
94
|
An Automatic Partial Evaluator for Full Prolog
– Dan Sahlin
- 1991
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
113
|
ILSoudergaard MIX: a self-applicable partial evaluator for experiments in compiler generation
– P Sestoft N D Jones
- 1989
|
|
723
|
Inductive-Data-Type Systems
– Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
- 2002
|
|
45
|
Partial Deduction and Driving are Equivalent
– Robert Glück, Morten Heine Sørensen
- 1994
|
|
160
|
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
– Yoshihiko Futamura
- 1999
|
|
41
|
The algorithm of generalization in the supercompiler
– Valentin F Turchin
- 1988
|
|
25
|
Sound and complete partial deduction with unfolding based on well-founded measures
– B Martens, D De Schreye, T Horváth
- 1994
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
45
|
Automatic program specialization: A re-examination from basic principles
– N D Jones
- 1988
|
