John P. Gallagher

Available identifiers

zbMath Open gallagher.john-pMaRDI QIDQ238502

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John P. Gallagher