A System For Specialising Logic Programs (1991)

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

Active Bibliography

A System For Specialising Logic Programs 1 – J. P. Gallagher - 1991
ET EVALUATION PARTIELLE EN PROLOG presente par – Francois-nicola Demers, Francois-nicola Demers, Rachida Dssouli, Jacques Malenfant, Michel Boyer
46 Meta-Programming in Logic Programming – P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher - 1994
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
42 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
2 Developing Correct and Efficient Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 1996
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
7 Enhancing Partial Deduction via Unfold/Fold Rules – Alberto Pettorossi, Maurizio Proietti, Sophie Renault - 1996
14 Partial Evaluation of the "Real Thing" – Michael Leuschel - 1994
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
1 A Program Specialiser for Meta-level Compositions of Logic Programs – Antonio Brogi, Simone Contiero - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
13 Loop Checks for Logic Programs with Functions – Yi-Dong Shen, Li-yan Yuan, Jia-huai You - 2001
15 Sharing of Computations – Torben Amtoft - 1993