Miscellaneous Papers and Technical Reports by J.P. Gallagher
Some Low-Level Source Transformations for Logic Programs
. J.P. Gallagher and M. Bruynooghe. META'90. (1990).
A System For Specialising Logic Programs
. J.P. Gallagher. Bristol University Computer Science Technical Report CSTR-91-32. (1991).
Regular Approximations and their Uses.
J.P. Gallagher and D.A. de Waal. Bristol University Computer Science Technical Report CSTR-92-06. (1992).
Logic Program Specialisation With Deletion of Useless Clauses
. ILPS'93 (full paper version of poster). (1993).
The Applicability of Logic Program Analysis and Transformation to Theorem Proving
. D.A. de Waal and J.P. Gallagher. CADE-12, (1994) (Bristol University Computer Science Technical Report, September 1993).
Schema-Based Top Down Design of Logic Programs Using Abstract Data Types
. E. Marakakis and J.P. Gallagher. (LOPSTR'94). Bristol University Computer Science Technical Report CSTR-94-02. (1994).
Fast and Precise Regular Approximation of Logic Programs
. J.P. Gallagher and D.A. de Waal. ICLP'94. (1994).
A Transformation System for Definite Programs Based on Termination Analysis
. J. Cook and J.P. Gallagher. LOPSTR'94. (1994).
Summer School on Program Analysis and Transformation (PAT'2005).