| Tutorial on specialisation of logic programs JP Gallagher Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993 | 291* | 1993 |
| Fast and Precise Regular Approximations of Logic Programs. JP Gallagher, DA de Waal ICLP 94, 599-613, 1994 | 189 | 1994 |
| Meta-programming in logic programming PM Hill, J Gallagher Artificial Intelligence and Logic Programming. Oxford University Press, 1994 | 137 | 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 | 99 | 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 | 82 | 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 | 74 | 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 | 52 | 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 | 50 | 2016 |
| Practical Model-Based Static Analysis for Definite Logic Programs. JP Gallagher, D Boulanger, H Saglam ILPS 95, 351-365, 1995 | 48 | 1995 |
| Energy challenges for ICT G Fagas, JP Gallagher, L Gammaitoni, DJ Paul ICT-Energy Concepts for Energy Efficiency and Sustainability, 1-36, 2017 | 46 | 2017 |
| 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 | 44 | 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 |
| 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 |
Bishoksan KafleResearch Fellow, The University of Melbourne, Australia確認したメール アドレス: unimelb.edu.au
