John P Gallagher
John P Gallagher
Verified email at ruc.dk - Homepage
Title
Cited by
Cited by
Year
Tutorial on specialisation of logic programs
JP Gallagher
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993
267*1993
Fast and Precise Regular Approximations of Logic Programs.
JP Gallagher, DA de Waal
ICLP 94, 599-613, 1994
1701994
Meta-programming in logic programming
PM Hill, J Gallagher
Artificial Intelligence and Logic Programming. Oxford University Press, 1994
117*1994
The derivation of an algorithm for program specialisation
J Gallagher, M Bruynooghe
New Generation Computing 9 (3-4), 305, 1991
1171991
Ensuring global termination of partial deduction while allowing flexible polyvariance
B Martens, JP Gallagher
ICLP'95, the Twelfth International Conference on Logic Programming, 597-613, 1995
1091995
Transforming logic programs by specialising interpreters
JP Gallagher
Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986
1091986
Some low-level source transformations of logic programs
JP Gallagher, M Bruynooghe
Proceedings of the Second Workshop on Meta-programming in Logic, 229-244, 1990
1001990
Analysis of imperative programs through analysis of constraint logic programs
JC Peralta, JP Gallagher, H Sağlam
International Static Analysis Symposium, 246-261, 1998
891998
Termination analysis of logic programs through combination of type-based norms
M Bruynooghe, M Codish, JP Gallagher, S Genaim, W Vanhoof
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es, 2007
842007
Specialisation of Prolog and FCP programs using abstract interpretation
J Gallagher, M Codish, E Shapiro
New Generation Computing 6 (2-3), 159-186, 1988
841988
A system for specialising logic programs
J Gallagher
Technical Report TR-91-32, University of Bristol, 1991
801991
Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs
JP Gallagher, G Puebla
International Symposium on Practical Aspects of Declarative Languages, 243-261, 2002
642002
Regular approximation of computation paths in logic and functional languages
J Gallagher, L Lafave
Partial Evaluation, 115-136, 1996
511996
Abstract interpretation of pic programs through logic programming
KS Henriksen, JP Gallagher
2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006
472006
Practical Model-Based Static Analysis for Definite Logic Programs.
JP Gallagher, D Boulanger, H Saglam
ILPS 95, 351-365, 1995
451995
Constraint-based partial evaluation of rewriting-based functional logic programs
L Lafave, JP Gallagher
International Workshop on Logic Programming Synthesis and Transformation …, 1997
431997
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR
U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2015
412015
Convex hull abstractions in specialization of CLP programs
JC Peralta, JP Gallagher
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
362002
RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata
B Kafle, JP Gallagher, JF Morales
International Conference on Computer Aided Verification, 261-268, 2016
352016
The applicability of logic program analysis and transformation to theorem proving
DA de Waal, JP Gallagher
International Conference on Automated Deduction, 207-221, 1994
351994
The system can't perform the operation now. Try again later.
Articles 1–20