Get started
Author

John P. Gallagher

Observed names: Gallagher, John, Gallagher, John P., Gallagher, John P.; id_orcid 0000-0001-6984-7419, Gallagher, John Patrick; id_orcid 0000-0001-6984-7419, J. Gallagher, J. P. Gallagher, J.P. Gallagher, JOHN GALLAGHER, JOHN P. GALLAGHER, John Gallagher, John Patrick Gallagher, P. Gallagher, John
Observed institutions: Madrid Institute for Advanced Studies, Roskilde University, University of California, Santa Barbara, Duke University, University of Bristol, IMDEA Software Institute, Weizmann Institute of Science, KU Leuven
ORCID: 0000-0001-6984-7419
Observed ORCID: 0000-0001-6984-7419
OpenAlex ID: A5020698393
Tutorial on specialisation of logic programs
1993 · J. P. Gallagher · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 172
PDF
Breakfast Cereal and Caffeinated Coffee
1999 · Andrew P Smith, Rachel Clark, et al. · Physiology & Behavior · 149
Meta-Programming in Logic Progamming
1998 · Patricia M. Hill, John P. Gallagher · Bristol Research (University of Bristol) · 89
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
1998 · Julio C. Peralta, John P. Gallagher, et al. · Lecture notes in computer science · 76
The derivation of an algorithm for program specialisation
1991 · John Gallagher, Maurice Bruynooghe · New Generation Computing · 73
Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance
1995 · Bern Martens, John Gallagher · The MIT Press eBooks · 69
PDF
Termination analysis of logic programs through combination of type-based norms
2007 · Maurice Bruynooghe, Michael Codish, et al. · ACM Transactions on Programming Languages and Systems · 68
PDF
Specialisation of Prolog and FCP programs using abstract interpretation
1988 · John Gallagher, Michael Codish, et al. · New Generation Computing · 58
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
2001 · John P. Gallagher, Germán Puebla · Lecture notes in computer science · 56
Abstract Interpretation of PIC Programs through Logic Programming
2006 · Kim Henriksen, John Gallagher · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) · 47
PDF
Some low-level source transformations of logic programs
1990 · John P. Gallagher, Maurice Bruynooghe · Lirias · 44
PDF
Transforming logic programs by specialising interpreters
1986 · John P. Gallagher · European Conference on Artificial Intelligence · 44
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs
1998 · L. Lafave, J. P. Gallagher · Lecture notes in computer science · 39
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
2016 · Bishoksan Kafle, John P. Gallagher, et al. · Lecture notes in computer science · 38
Regular approximation of computation paths in logic and functional languages
1996 · John Gallagher, Laura Lafave · Lecture notes in computer science · 34
Inferring parametric energy consumption \nfunctions at different software levels: \nISA vs. LLVM IR
2016 · Liqat, Umer, Georgiou, Kyriakos, et al. · UPM Digital Archive (Technical University of Madrid) · 32
ICT - Energy Concepts for Energy Efficiency and Sustainability
2017 · Giorgos Fagas, Luca Gammaitoni, et al. · InTech eBooks · 31
PDF
Energy Challenges for ICT
2017 · Giorgos Fagas, John P. Gallagher, et al. · InTech eBooks · 30
PDF
Combining Norms to Prove Termination
2002 · Samir Genaim, Michael Codish, et al. · Lecture notes in computer science · 29
The applicability of logic program analysis and transformation to theorem proving
1994 · D. A. Waal, J. P. Gallagher · Lecture notes in computer science · 25
Detecting and diagnosing energy issues for mobile applications
2020 · Xueliang Li, Yuming Yang, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 24
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
2005 · Maurice Bruynooghe, John Gallagher, et al. · Lecture notes in computer science · 23
Abstract Domains Based on Regular Types
2004 · John P. Gallagher, Kim S. Henriksen · Lecture notes in computer science · 23
Deletion of Redundant Unary Type Predicates from Logic Programs
1993 · J. Gallagher, D. A. de Waal · Workshops in computing · 23
The Identification and Decomposition of Hierarchical Tasks
1977 · John W. Cotton, John P. Gallagher, et al. · American Educational Research Journal · 23
Works count: 150
Citation count: 1,934
H-index: 23
I10-index: 51
Year
Topic
Type