John P. Gallagher
Orcid: 0000000169847419Affiliations:
 Roskilde University, Denmark
According to our database^{1},
John P. Gallagher
authored at least 91 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on akira.ruc.dk

on dl.acm.org
On csauthors.net:
Bibliography
2023
ACM Trans. Softw. Eng. Methodol., January, 2023
Proceedings of the LogicBased Program Synthesis and Transformation, 2023
2022
Theory Pract. Log. Program., 2022
2021
Sci. Comput. Program., 2021
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS), 2021
2020
Fundam. Informaticae, 2020
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
2019
ControlFlow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.
Theory Pract. Log. Program., 2019
Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019
CoRR, 2019
Proceedings of the LogicBased Program Synthesis and Transformation, 2019
2018
Theory Pract. Log. Program., 2018
Theory Pract. Log. Program., 2018
J. Log. Algebraic Methods Program., 2018
2017
Sci. Comput. Program., 2017
Preproceedings of the 27th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR 2017).
CoRR, 2017
Horn clause verification with convex polyhedral abstraction and tree automatabased refinement.
Comput. Lang. Syst. Struct., 2017
2016
Microprocess. Microsystems, 2016
Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016
Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016
An EnergyAware Programming Approach for Mobile Application Development Guided by a FineGrained Energy Model.
CoRR, 2016
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016
Proceedings of the Functional and Logic Programming  13th International Symposium, 2016
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.
Proceedings of the Computer Aided Verification  28th International Conference, 2016
2015
CoRR, 2015
Proceedings of the Third International Workshop on Verification and Program Transformation, 2015
An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata.
CoRR, 2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
2014
Convex polyhedral abstractions, specialisation and propertybased predicate splitting in Horn clause verification.
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014
CoRR, 2014
2011
Introduction to the 27th International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program., 2011
Proceedings of the LogicBased Program Synthesis and Transformation, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
2010
High. Order Symb. Comput., 2010
Proceedings of the 19th Workshop on Logicbased methods in Programming Environments (WLPE 2009)
CoRR, 2010
ConstraintBased Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
Inf. Process. Lett., 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.
Proceedings of the Logic for Programming, 2008
Proceedings of the LogicBased Program Synthesis and Transformation, 2008
Proceedings of the LogicBased Program Synthesis and Transformation, 2008
2007
ACM Trans. Program. Lang. Syst., 2007
CoRR, 2007
CoRR, 2007
TypeBased Homeomorphic Embedding and Its Applications to Online Partial Evaluation.
Proceedings of the LogicBased Program Synthesis and Transformation, 2007
2006
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006
2005
Inference of WellTypings for Logic Programs with Application to Termination Analysis.
Proceedings of the Static Analysis, 12th International Symposium, 2005
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
Nonleftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
2004
Proceedings of the IEEE International Conference on Systems, 2004
Regular types, modes and model checking (Invited Talk).
Proceedings of the 14th International Workshop on Logic Programming Environments, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
2002
Proceedings of the Verification, 2002
Abstract Interpretation over Nondeterministic Finite Tree Automata for SetBased Analysis of Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
High. Order Symb. Comput., 2001
2000
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and SemanticsBased Program Manipulation (PEPM '00), 2000
Proceedings of the Abduction, Belief and Context in Dialogue, 2000
1999
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and SemanticsBased Program Manipulation, 1999
Proceedings of the Logic Programming Synthesis and Transformation, 1999
1998
ACM Comput. Surv., 1998
ACM Comput. Surv., 1998
Proceedings of the Static Analysis, 5th International Symposium, 1998
1997
Proceedings of the Logic Programming Synthesis and Transformation, 1997
Proceedings of the Logic Programming Synthesis and Transformation, 1997
1996
Proceedings of the Partial Evaluation, International Seminar, 1996
1995
Proceedings of the Logic Programming, 1995
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions
Proceedings of the Programming Languages: Implementations, 1995
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.
Proceedings of the Logic Programming, 1995
1994
Proceedings of the Logic Programming Synthesis and Transformation, 1994
Proceedings of the Logic Programming Synthesis and Transformation, 1994
Fast and Precise Regular Approximations of Logic Programs.
Proceedings of the Logic Programming, 1994
The Applicability of Logic Program Analysis and Transformation to Theorem Proving.
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
Logic Program Specialisation With Deletion of Useless Clauses.
Proceedings of the Logic Programming, 1993
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and SemanticsBased Program Manipulation, 1993
1992
Static Analysis for Logic Program Specification.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
Proceedings of the Logic Program Synthesis and Transformation, 1992
1991
New Gener. Comput., 1991
Proceedings of the Logic Program Synthesis and Transformation, 1991
1988
New Gener. Comput., 1988
Using Safe Approximations of Fixed Points for Analysis of Logic Programs.
Proceedings of the MetaProgramming in Logic Programming, 1988
1986
Transforming Logic Programs by Specialising Interpreters.
Proceedings of the Advances in Artificial Intelligence II, 1986