The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "John P. Gallagher" ( http://dblp.L3S.de/Authors/John_P._Gallagher )

URL (Homepage):  http://akira.ruc.dk/~jpg/  Author page on DBLP  Author page in RDF  Community of John P. Gallagher in ASPL-2

Publication years (Num. hits)
1986-1995 (17) 1996-2002 (15) 2003-2008 (16) 2009-2015 (19) 2016-2018 (22) 2019 (3)
Publication types (Num. hits)
article(31) inproceedings(53) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords

Results
Found 93 publication records. Showing 92 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xueliang Li 0002, Yuming Yang, Yepang liu, John P. Gallagher, Kaishun Wu Detecting and Diagnosing Energy Issues for Mobile Applications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jesús J. Doménech, John P. Gallagher, Samir Genaim Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1John P. Gallagher, Rob van Glabbeek, Wendelin Serwe (eds.) Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, and Sixth International Workshop on Verification and Program Transformation Thessaloniki, Greece, 20th April 2018. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Mai Ajspur, Bishoksan Kafle Optimised determinisation and completion of finite tree automata. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Martin Sulzmann (eds.) Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, John P. Gallagher (eds.) Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Constraint specialisation in Horn clause verification. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, John P. Gallagher Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Xueliang Li 0002, John P. Gallagher A Source-level Energy Optimization Framework for Mobile Applications. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1John P. Gallagher, Philipp Rümmer (eds.) Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Solving non-linear Horn clauses using a linear Horn clause solver. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Interpolant tree automata and their application in Horn clause verification. Search on Bibsonomy VPT@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xueliang Li 0002, John P. Gallagher An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy Model. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo A Transformational Approach to Parametric Accumulated-Cost Static Profiling. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, José F. Morales Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xueliang Li 0002, John P. Gallagher Fine-Grained Energy Modeling for the Source Code of a Mobile Application. Search on Bibsonomy MobiQuitous The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xueliang Li 0002, John P. Gallagher A Source-Level Energy Optimization Framework for Mobile Applications. Search on Bibsonomy SCAM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Mai Ajspur, Bishoksan Kafle An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Decomposition by tree dimension in Horn clause verification. Search on Bibsonomy VPT@ETAPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xueliang Li 0002, John P. Gallagher A Top-to-Bottom View: Energy Analysis for Mobile Application Source Code. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Tree Automata-Based Refinement with Application to Horn Clause Verification. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Constraint Specialisation in Horn Clause Verification. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy FOPARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Bishoksan Kafle Analysis and Transformation Tools for Constrained Horn Clause Verification. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1John P. Gallagher, Michael Gelfond Introduction to the 27th International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John P. Gallagher Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Michael Gelfond (eds.) Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  BibTeX  RDF
1John P. Gallagher, Michael Gelfond Frontmatter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Janis Voigtländer Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rafael Caballero, John P. Gallagher Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Gourinath Banda, John P. Gallagher Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Janis Voigtländer (eds.) Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010 Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  BibTeX  RDF
1Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla Type-based homeomorphic embedding for online termination. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Christiansen 0001, John P. Gallagher Non-discriminating Arguments and Their Uses. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Mads Rosendahl Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher From Monomorphic to Polymorphic Well-Typings and Beyond. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gourinath Banda, John P. Gallagher Analysis of Linear Hybrid Systems in CLP. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kim S. Henriksen, John P. Gallagher A Web-based Tool Combining Different Type Analyses Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Kim S. Henriksen, Gourinath Banda, John P. Gallagher Experiments with a Convex Polyhedral Analysis Tool for Logic Programs Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof Termination analysis of logic programs through combination of type-based norms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
1Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kim S. Henriksen, John P. Gallagher Abstract Interpretation of PIC Programs through Logic Programming. Search on Bibsonomy SCAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck Inference of Well-Typings for Logic Programs with Application to Termination Analysis. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Germán Puebla, John P. Gallagher Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Germán Puebla, Elvira Albert Converting One Type-Based Abstract Domain to Another. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Kim S. Henriksen, Gourinath Banda Techniques for Scaling Up Analyses Based on Pre-interpretations. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen Fully Automatic Binding-Time Analysis for Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Kim S. Henriksen Abstract Domains Based on Regular Types. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kim S. Henriksen, John P. Gallagher Analysis and specialisation of a PIC processor. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John P. Gallagher A Program Transformation for Backwards Analysis of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon Combining Norms to Prove Termination. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Julio C. Peralta, John P. Gallagher Convex Hull Abstractions in Specialization of CLP Programs. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Germán Puebla Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Julio C. Peralta Regular Tree Languages as an Abstract Domain in Program Specialisation. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Julio C. Peralta Using Regular Approximations for Generalisation During Partial Evalution. Search on Bibsonomy PEPM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. Search on Bibsonomy PEPM The full citation details ... 1999 DBLP  BibTeX  RDF
1Julio C. Peralta, John P. Gallagher Imperative Program Specialisation: An Approach Using CLP. Search on Bibsonomy LOPSTR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Laura Lafave The Role of Trace Abstractions in Program Specialization Algorithms. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Laura Lafave, John P. Gallagher Extending the Power of Automatic Constraint-Based Partial Evaluators. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Julio C. Peralta, John P. Gallagher, Hüseyin Saglam Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
1John P. Gallagher, Charles Consel, A. Michael Berman (eds.) Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997 Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  BibTeX  RDF
1Hüseyin Saglam, John P. Gallagher Constrained Regular Approximation of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Laura Lafave, John P. Gallagher Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1John P. Gallagher (eds.) Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Laura Lafave Regular Approximation of Computation Paths in Logic and Functional Languages. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Hüseyin Saglam, John P. Gallagher Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam Practical Model-Based Static Analysis for Definite Logic Programs. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Bern Martens, John P. Gallagher Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Emmanuil I. Marakakis, John P. Gallagher Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. Search on Bibsonomy LOPSTR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1J. Cook, John P. Gallagher A Transformation System for Definite Programs Based on Termination Analysis. Search on Bibsonomy LOPSTR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, D. Andre de Waal Fast and Precise Regular Approximations of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1D. Andre de Waal, John P. Gallagher The Applicability of Logic Program Analysis and Transformation to Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1D. Andre de Waal, John P. Gallagher Logic Program Specialisation With Deletion of Useless Clauses. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1John P. Gallagher Tutorial on Specialisation of Logic Programs. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Prolog
1John P. Gallagher Static Analysis for Logic Program Specification. Search on Bibsonomy WSA The full citation details ... 1992 DBLP  BibTeX  RDF
1John P. Gallagher, D. Andre de Waal Deletion of Redundant Unary Type Predicates from Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Maurice Bruynooghe The Derivation of an Algorithm for Program Specialisation. Search on Bibsonomy New Generation Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1D. Andre de Waal, John P. Gallagher Specialisation of a Unification Algorithm. Search on Bibsonomy LOPSTR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Maurice Bruynooghe The Derivation of an Algorithm for Program Specialisation. Search on Bibsonomy ICLP The full citation details ... 1990 DBLP  BibTeX  RDF
1John P. Gallagher, Michael Codish, Ehud Shapiro Specialisation of Prolog and FCP Programs Using Abstract Interpretation. Search on Bibsonomy New Generation Comput. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Michael Codish, John P. Gallagher, Ehud Shapiro Using Safe Approximations of Fixed Points for Analysis of Logic Programs. Search on Bibsonomy META The full citation details ... 1988 DBLP  BibTeX  RDF
1John P. Gallagher Transforming Logic Programs by Specialising Interpreters. Search on Bibsonomy ECAI The full citation details ... 1986 DBLP  BibTeX  RDF
Displaying result #1 - #92 of 92 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license