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:28 - 9 self

Active Bibliography

1 Logic Program Development Based on Typed, Moded Schemata and Data Types – Emmanouil I. Marakakis - 1997
6 Polymorphic Type Analysis in Logic Programs by Abstract Interpretation – Lunjin Lu - 1998
5 Meta-Circular Abstract Interpretation in Prolog – Michael Codish, Harald Søndergaard
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
46 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
17 A Technique for Recursive Invariance Detection and Selective Program Specialization – F. Giannotti, M. Hermenegildo - 1991
55 Bottom-up abstract interpretation of logic programs – Michael Codish, Dennis Dams, Eyal Yardeni - 1994
35 On the Complexity of Dataflow Analysis of Logic Programs – Saumya K. Debray - 1992
7 Sequence-Based Abstract Interpretation of Prolog – Baudouin Le Charlier, Sabina Rossi, Pascal, Van Hentenryck - 1997
7 Automated Verification Of Prolog Programs – Baudouin Le Charlier, Christophe Leclere, Sabina Rossi, Agostino Cortesi - 1994
111 Compile-time Derivation of Variable Dependency Using Abstract Interpretation – K. Muthukumar, M. Hermenegildo - 1992
73 Global Flow Analysis as a Practical Compilation Tool – M. V. Hermenegildo, R. Warren, S. K. Debray - 1992
22 A Universal Top-Down Fixpoint Algorithm – Baudouin Le Charlier, Pascal Van Hentenryck - 1992
5 A Simple Polynomial Groundness Analysis For Logic Programs – Andy Heaton, Muhamed Abo-zaed, Michael Codish, Andy King - 2000
79 Global Analysis of Constraint Logic Programs – Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens - 1996
59 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
Multiple Specialization through Local Analysis – Michel Ferreira, Luís Damas, Michel Ferreira - 1998
3 The applicability of logic program analysis and transformation to theorem proving – D. A. Waal, J. Gallagher - 1994
1 Logic program specialisation with deletion of useless clauses – D. A. Waal, J. P. Gallagher, Bristol Bs Tr - 1993