| Tutorial on specialisation of logic programs JP Gallagher Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993 | 289* | 1993 |
| Fast and Precise Regular Approximations of Logic Programs. JP Gallagher, DA de Waal ICLP 94, 599-613, 1994 | 196 | 1994 |
| Meta-programming in logic programming PM Hill, J Gallagher Artificial Intelligence and Logic Programming. Oxford University Press, 1994 | 136* | 1994 |
| The derivation of an algorithm for program specialisation J Gallagher, M Bruynooghe New Generation Computing 9 (3), 305-333, 1991 | 134 | 1991 |
| Transforming logic programs by specialising interpreters JP Gallagher Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986 | 129 | 1986 |
| Ensuring global termination of partial deduction while allowing flexible polyvariance B Martens, JP Gallagher, L Sterling ICLP'95, the Twelfth International Conference on Logic Programming, 597-613, 1995 | 116 | 1995 |
| Analysis of imperative programs through analysis of constraint logic programs JC Peralta, JP Gallagher, H Sağlam International Static Analysis Symposium, 246-261, 1998 | 103 | 1998 |
| 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 | 100 | 1990 |
| Specialisation of Prolog and FCP programs using abstract interpretation J Gallagher, M Codish, E Shapiro New Generation Computing 6 (2), 159-186, 1988 | 98 | 1988 |
| 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 | 86 | 2007 |
| A system for specialising logic programs J Gallagher Technical Report TR-91-32, University of Bristol, 1991 | 81 | 1991 |
| 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, 2001 | 74 | 2001 |
| Abstract interpretation of PIC programs through logic programming KS Henriksen, JP Gallagher 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006 | 53 | 2006 |
| 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 | 52 | 2016 |
| Energy challenges for ICT G Fagas, JP Gallagher, L Gammaitoni, DJ Paul ICT-Energy Concepts for Energy Efficiency and Sustainability, 2017 | 51 | 2017 |
| Regular approximation of computation paths in logic and functional languages J Gallagher, L Lafave Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005 | 51 | 2005 |
| Practical Model-Based Static Analysis for Definite Logic Programs. JP Gallagher, D Boulanger, H Saglam ILPS 95, 351-365, 1995 | 49 | 1995 |
| Analysis and transformation of constrained Horn clauses for program verification E De Angelis, F Fioravanti, JP Gallagher, MV Hermenegildo, A Pettorossi, ... Theory and Practice of Logic Programming 22 (6), 974-1042, 2022 | 46 | 2022 |
| Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P López-García, JP Gallagher, ... International Workshop on Foundational and Practical Aspects of Resource …, 2015 | 45 | 2015 |
| Constraint-based partial evaluation of rewriting-based functional logic programs L Lafave, JP Gallagher International Workshop on Logic Programming Synthesis and Transformation …, 1997 | 41 | 1997 |
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaVerified email at unimelb.edu.au
