Publications
- Kim S. Henriksen, Gourinath Banda, John P. Gallagher: Experiments with a Convex Polyhedral Analysis Tool for Logic Programs. Proc. of the 17th Workshop on Logic-based methods in Programming Environments (CoRR abs/0712.2737). (2007)
- Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. Proc. of LOPSTR 2007, Lecture Notes in Computer Science 491. 23-42.
- Henning Christiansen, John P. Gallagher: Non-Discriminating Arguments and Their Uses. P.M. Hill, D.S. Warren (Eds.): Logic Programming, 25th International Conference, ICLP 2009, Pasadena, USA, Proceedings. 54-69. Lecture Notes in Computer Science 5649. Springer 2009. (Best Paper Award)
- Elvira Albert, J. P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009) 2008.
- Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher: From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR 2008, Lecture Notes in Computer Science 5438: 152-167
- John P. Gallagher, Mads Rosendahl: Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. LPAR 2008: Lecture Notes in Computer Science 5330. 682-696.
- Gourinath Banda, John P. Gallagher: Analysis of Linear Hybrid Systems in CLP. LOPSTR 2008, Lecture Notes in Computer Science 5438: 55-70
- Gourinath Banda, John P. Gallagher: Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. LPAR (Dakar) 2010, Lecture Notes in Computer Science 6355: 27-45
- Mads Rosendahl and John P. Gallagher. Extended Set Constraints and Tree Grammar Abstraction of Programs. (submitted for publication).