Publications by John Gallagher

This is a list of all publications (co-)authored by John Gallagher that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2002

• John P. Gallagher, German Puebla, Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, LNCS Vol. 2257. Shriram Krishnamurthi, C. R. Ramakrishnan, (eds.). ISBN 3-540-43092-X, pp. 243–261. January 2002. No electronic version available. External information

2001

• John P. Gallagher, Julio C. Peralta, Regular Tree Languages as an Abstract Domain in Program Specialisation. Higher-Order and Symbolic Computation, 14 (2-3). ISBN ISSN 1388-3690, pp. 143–172. November 2001. No electronic version available.
• John P. Gallagher, German Puebla, Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. CSTR-01-003, Department of Computer Science, University of Bristol. May 2001. PDF, 253 Kbytes.

2000

• Ahmed Guessoum, John P. Gallagher, Abductive reasoning with knowledge bases for context modelling. Chapter in Abduction, Belief and Context in Dialogue. H. Bunt, W. Black, (eds.). ISBN 1 55619 794 2 , pp. 275–288. September 2000. No electronic version available.
• John P. Gallagher, Julio C. Peralta, Regular Trees as an Abstract Domain for Program Specialisation . CSTR-00-010, Department of Computer Science, University of Bristol. September 2000. PDF, 334 Kbytes.
• Julio C. Peralta, John P. Gallagher, Imperative Program Specialisation: An Approach Using CLP. Logic-Based Program Synthesis and Transformation (LOPSTR'99), (ed. A. Bossi), pp. 103–118. April 2000. No electronic version available.
• John P. Gallagher, Julio C. Peralta, Using Regular Approximations for Generalisation During Partial Evaluation. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'2000), Boston, Mass., (ed. J. Lawall). ISBN 1-58113-201-8, pp. 44–51. January 2000. PDF, 124 Kbytes.

1999

• G. Puebla, M. Hermenegildo, J. P. Gallagher, An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999. , pp. 75–84. January 1999. PDF, 225 Kbytes.

1998

• L. Lafave, J. P. Gallagher, Extending the power of automatic constraint-based partial evaluators. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
• J. P. Gallagher, L. Lafave, The role of trace abstractions in program specialization algorithms. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
• J. C. Peralta, J. P. Gallagher, H. Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998. ISBN 3-540-65014-8, pp. 246–261. September 1998. No electronic version available.
• L. Lafave, J. P. Gallagher, Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 168–188. June 1998. No electronic version available.
• H. Saglam, J. P. Gallagher, Constrained Regular Approximation of Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 282–299. June 1998. No electronic version available.
• Julio C. Peralta, John P. Gallagher, Huseyin Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. CSTR-98-007, Department of Computer Science, University of Bristol. April 1998. PDF, 212 Kbytes.

1997

• Julio C. Peralta, John P. Gallagher, Towards Semantics-Based Partial Evaluation of Imperative Programs. CSTR-97-003, Department of Computer Science, University of Bristol. April 1997. PDF, 156 Kbytes.
• Logic Program Synthesis and Transformation, 6th International Workshop, LOPSTR'96. John P. Gallagher, (eds.). Springer Verlag, Lecture Notes in Computer Science. ISBN 3-504-62718-9. March 1997. No electronic version available. External information
• L. Lafave, J. P. Gallagher, Partial Evaluation of Functional Logic Programs in Rewriting-based Languages. CSTR-97-001, Department of Computer Science, University of Bristol. March 1997. PDF, 252 Kbytes.

1996

• J. P. Gallagher, L. Lafave, Regular Approximation of Computation Paths in Logic and Functional Languages. Proceedings of the Dagstuhl Workshop on Partial Evaluation. ISSN in press, pp. 1–16. February 1996. No electronic version available.

1995

• J. P. Gallagher, D. Boulanger, H. Saglam, Practical Model-Based Static Analysis for Definite Logic Programs. Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon.. ISBN 0-262-62099-5, pp. 351–368. December 1995. No electronic version available.
• Huseyin Saglam, John P. Gallagher, Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. CSTR-95-017, Department of Computer Science, University of Bristol. July 1995. PDF, 235 Kbytes.