A System For Specialising Logic Programs (1991)

by J. P. Gallagher
Citations:145 - 12 self

Documents Related by Co-Citation

239 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
638 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
48 Loop checking in partial deduction – R Bol - 1993
63 A general criterion for avoiding infinite unfolding during partial deduction – M Bruynooghe, D De Schreye, B Martens - 1992
139 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
44 Partial Deduction and Driving are Equivalent – Robert Glück, Morten Heine Sørensen - 1994
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
25 An algorithm of generalization in positive supercompilation – M H Srensen, R Gluck - 1995
399 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
1852 Foundations of Logic Programming – J W Lloyd - 1987
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
43 An introduction to partial deduction – J Komorowski - 1992
569 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
32 Controlling Conjunctive Partial Deduction of Definite Logic Programs – Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen - 1996
80 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
43 The algorithm of generalization in the supercompiler – V F Turchin - 1988
73 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995