| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John P. Gallagher, Michael Gelfond |
Introduction to the 27th International Conference on Logic Programming Special Issue.  |
TPLP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Michael Gelfond |
Frontmatter, Table of Contents, Preface, Conference Organization. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Michael Gelfond (eds.) |
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA |
ICLP (Technical Communications) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, John P. Gallagher (eds.) |
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) |
WLPE |
2010 |
RDF |
|
| 1 | John P. Gallagher, Janis Voigtländer |
Editorial. |
Higher-Order and Symbolic Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gourinath Banda, John P. Gallagher |
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Janis Voigtländer (eds.) |
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010 |
PEPM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-based homeomorphic embedding for online termination. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, John P. Gallagher |
Non-discriminating Arguments and Their Uses. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Mads Rosendahl |
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
From Monomorphic to Polymorphic Well-Typings and Beyond. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gourinath Banda, John P. Gallagher |
Analysis of Linear Hybrid Systems in CLP. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof |
Termination analysis of logic programs through combination of type-based norms. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis |
| 1 | Kim S. Henriksen, John P. Gallagher |
A Web-based Tool Combining Different Type Analyses |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kim S. Henriksen, Gourinath Banda, John P. Gallagher |
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim S. Henriksen, John P. Gallagher |
Abstract Interpretation of PIC Programs through Logic Programming. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Kim S. Henriksen, Gourinath Banda |
Techniques for Scaling Up Analyses Based on Pre-interpretations. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck |
Inference of Well-Typings for Logic Programs with Application to Termination Analysis. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Germán Puebla, Elvira Albert |
Converting One Type-Based Abstract Domain to Another. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim S. Henriksen, John P. Gallagher |
Analysis and specialisation of a PIC processor. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Kim S. Henriksen |
Abstract Domains Based on Regular Types. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen |
Fully Automatic Binding-Time Analysis for Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher |
A Program Transformation for Backwards Analysis of Logic Programs. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Germán Puebla |
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Peralta, John P. Gallagher |
Convex Hull Abstractions in Specialization of CLP Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon |
Combining Norms to Prove Termination. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Julio C. Peralta |
Regular Tree Languages as an Abstract Domain in Program Specialisation. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Julio C. Peralta |
Using Regular Approximations for Generalisation During Partial Evalution. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher |
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Julio C. Peralta, John P. Gallagher |
Imperative Program Specialisation: An Approach Using CLP. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Lafave, John P. Gallagher |
Extending the Power of Automatic Constraint-Based Partial Evaluators. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Laura Lafave |
The Role of Trace Abstractions in Program Specialization Algorithms. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Peralta, John P. Gallagher, Hüseyin Saglam |
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming |
| 1 | John P. Gallagher, Charles Consel, A. Michael Berman (eds.) |
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997 |
PEPM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hüseyin Saglam, John P. Gallagher |
Constrained Regular Approximation of Logic Programs. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Lafave, John P. Gallagher |
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher (eds.) |
Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings |
LOPSTR |
1997 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, Laura Lafave |
Regular Approximation of Computation Paths in Logic and Functional Languages. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bern Martens, John P. Gallagher |
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam |
Practical Model-Based Static Analysis for Definite Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hüseyin Saglam, John P. Gallagher |
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Andre de Waal, John P. Gallagher |
The Applicability of Logic Program Analysis and Transformation to Theorem Proving. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, D. Andre de Waal |
Fast and Precise Regular Approximations of Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Emmanuil I. Marakakis, John P. Gallagher |
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Cook, John P. Gallagher |
A Transformation System for Definite Programs Based on Termination Analysis. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher |
Tutorial on Specialisation of Logic Programs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | D. Andre de Waal, John P. Gallagher |
Logic Program Specialisation With Deletion of Useless Clauses. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher |
Static Analysis for Logic Program Specification. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, D. Andre de Waal |
Deletion of Redundant Unary Type Predicates from Logic Programs. |
LOPSTR |
1992 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, Maurice Bruynooghe |
The Derivation of an Algorithm for Program Specialisation. |
New Generation Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Andre de Waal, John P. Gallagher |
Specialisation of a Unification Algorithm. |
LOPSTR |
1991 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, Maurice Bruynooghe |
The Derivation of an Algorithm for Program Specialisation. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, Michael Codish, Ehud Y. Shapiro |
Specialisation of Prolog and FCP Programs Using Abstract Interpretation. |
New Generation Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, John P. Gallagher, Ehud Y. Shapiro |
Using Safe Approximations of Fixed Points for Analysis of Logic Programs. |
META |
1988 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher |
Transforming Logic Programs by Specialising Interpreters. |
ECAI |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")