John P. Gallagher

Available identifiers

zbMath Open gallagher.john-pMaRDI QIDQ238502

List of research outcomes

Publication	Date of Publication	Type
Regular path clauses and their application in solving loops	2024-12-03	Paper
Analysis and Transformation of Constrained Horn Clauses for Program Verification	2023-12-12	Paper
A General Framework for Static Cost Analysis of Parallel Logic Programs	2022-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q5020649	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5020658	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5015369	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4997236	2021-06-28	Paper
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis	2020-05-04	Paper
The applicability of logic program analysis and transformation to theorem proving	2020-01-21	Paper
An iterative approach to precondition inference using constrained Horn clauses	2018-12-04	Paper
Tree dimension in verification of constrained Horn clauses	2018-05-31	Paper
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement	2018-01-30	Paper
A Transformational Approach to Parametric Accumulated-Cost Static Profiling	2016-04-04	Paper
Tree Automata-Based Refinement with Application to Horn Clause Verification	2015-02-04	Paper
Analysis of Logic Programs Using Regular Tree Languages	2013-03-13	Paper
Non-discriminating Arguments and Their Uses	2012-11-13	Paper
Convex Hull Abstractions in Specialization of CLP Programs	2011-03-04	Paper
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation	2011-01-07	Paper
Type-based homeomorphic embedding for online termination	2010-08-20	Paper
Analysis of Linear Hybrid Systems in CLP	2009-03-24	Paper
From Monomorphic to Polymorphic Well-Typings and Beyond	2009-03-24	Paper
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation	2009-01-27	Paper
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation	2009-01-22	Paper
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates	2009-01-15	Paper
Converting One Type-Based Abstract Domain to Another	2009-01-15	Paper
Fully Automatic Binding-Time Analysis for Prolog	2008-04-24	Paper
Static Analysis	2006-10-31	Paper
Logic Programming	2006-06-27	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4736992	2004-08-11	Paper
Regular tree languages as an abstract domain in program specialisation	2002-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q2723919	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q3983041	1992-06-26	Paper
Specialisation of Prolog and FCP programs using abstract interpretation	1988-01-01	Paper
A rigid elliptic inclusion in an anisotropic elastic whole space	1976-01-01	Paper
The fundamental integral for small deformations superposed on finite triaxial extension of a neo-Hockean material	1969-01-01	Paper

Research outcomes over time

This page was built for person: John P. Gallagher