Tutorial on specialisation of logic programs JP Gallagher Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993 | 290* | 1993 |
Fast and Precise Regular Approximations of Logic Programs. JP Gallagher, DA de Waal ICLP 94, 599-613, 1994 | 188 | 1994 |
Meta-programming in logic programming PM Hill, J Gallagher Artificial Intelligence and Logic Programming. Oxford University Press, 1994 | 135 | 1994 |
The derivation of an algorithm for program specialisation J Gallagher, M Bruynooghe New Generation Computing 9, 305-333, 1991 | 126 | 1991 |
Transforming logic programs by specialising interpreters JP Gallagher Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986 | 123 | 1986 |
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. B Martens, JP Gallagher ICLP 95, 597-611, 1995 | 115 | 1995 |
Some low-level source transformations for logic programs J Gallagher, M Bruynooghe Proceedings Meta 90, 229-244, 1990 | 100 | 1990 |
Analysis of imperative programs through analysis of constraint logic programs JC Peralta, JP Gallagher, H Sağlam Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 1998 | 97 | 1998 |
Specialisation of Prolog and FCP programs using abstract interpretation J Gallagher, M Codish, E Shapiro New Generation Computing 6, 159-186, 1988 | 93 | 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 | 80 | 2007 |
A system for specialising logic programs J Gallagher Technical Report TR-91-32, University of Bristol, 1991 | 77 | 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 | 73 | 2001 |
Regular approximation of computation paths in logic and functional languages J Gallagher, L Lafave Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996 | 55 | 1996 |
Abstract interpretation of pic programs through logic programming KS Henriksen, JP Gallagher 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006 | 50 | 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 | 47 | 2016 |
Practical Model-Based Static Analysis for Definite Logic Programs. JP Gallagher, D Boulanger, H Saglam ILPS 95, 351-365, 1995 | 47 | 1995 |
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 | 43 | 2015 |
Constraint-based partial evaluation of rewriting-based functional logic programs L Lafave, JP Gallagher International Workshop on Logic Programming Synthesis and Transformation …, 1997 | 43 | 1997 |
Energy challenges for ICT G Fagas, JP Gallagher, L Gammaitoni, DJ Paul ICT-Energy Concepts for Energy Efficiency and Sustainability, 1-36, 2017 | 42 | 2017 |
The applicability of logic program analysis and transformation to theorem proving DA de Waal, JP Gallagher Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 42 | 1994 |