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

Active Bibliography

2 Logic Program Development Based on Typed, Moded Schemata and Data Types – Emmanouil I. Marakakis - 1997
5 Meta-Circular Abstract Interpretation in Prolog – Michael Codish, Harald Søndergaard
12 Polymorphic Type Analysis in Logic Programs by Abstract Interpretation – Lunjin Lu - 1998
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
139 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
18 A Technique for Recursive Invariance Detection and Selective Program Specialization – F. Giannotti, M. Hermenegildo - 1991
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
56 Bottom-up abstract interpretation of logic programs – Michael Codish, Dennis Dams, Eyal Yardeni - 1994
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
118 Compile-time Derivation of Variable Dependency Using Abstract Interpretation – K. Muthukumar, M. Hermenegildo - 1992
23 A Universal Top-Down Fixpoint Algorithm – Baudouin Le Charlier, Pascal Van Hentenryck - 1992
77 Global Flow Analysis as a Practical Compilation Tool – M. V. Hermenegildo, R. Warren, S. K. Debray - 1992
35 On the Complexity of Dataflow Analysis of Logic Programs – Saumya K. Debray - 1992
7 A Simple Polynomial Groundness Analysis For Logic Programs – Andy Heaton, Muhamed Abo-zaed, Michael Codish, Andy King - 2000
81 Global Analysis of Constraint Logic Programs – Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens - 1996
J. LOGIC PROGRAMMING 1994:19, 20:1–679 1 POLYMORPHIC TYPE ANALYSIS IN LOGIC PROGRAMS BY ABSTRACT INTERPRETATION 1 – Lunjin Lu
60 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