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). Full notes. Slides.