Some Low-Level Source Transformations for Logic Programs (1990)

by John Gallagher , Maurice Bruynooghe
Venue:in Proceedings of Meta90 Workshop on Meta Programming in Logic
Citations:30 - 9 self

Documents Related by Co-Citation

241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
173 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991
1858 Foundation of Logic Programming – J W Lloyd - 1987
15 Specialisation of logic programs: A tutorial – J Gallagher - 1993
102 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
43 The algorithm of generalization in the supercompiler – V F Turchin - 1988
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
63 A general criterion for avoiding infinite unfolding during partial deduction – M BRUYNOOGHE, D DE SCHREYE, B MARTENS - 1992
25 Supporting transformations for the partial evaluation of logic programs – K Benkerimi, P M Hill - 1993
25 An Algorithm of Generalization in Positive Supercompilation – M H Srensen, R Gluck - 1995
36 Logimix: a self-applicable partial evaluator for prolog – T Mogensen, A Bondorf - 1993
57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998