Prati
John P Gallagher
John P Gallagher
Roskilde University
Potvrđena adresa e-pošte na ruc.dk - Početna stranica
Naslov
Citirano
Citirano
Godina
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
1881994
Meta-programming in logic programming
PM Hill, J Gallagher
Artificial Intelligence and Logic Programming. Oxford University Press, 1994
1351994
The derivation of an algorithm for program specialisation
J Gallagher, M Bruynooghe
New Generation Computing 9, 305-333, 1991
1261991
Transforming logic programs by specialising interpreters
JP Gallagher
Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986
1231986
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.
B Martens, JP Gallagher
ICLP 95, 597-611, 1995
1151995
Some low-level source transformations for logic programs
J Gallagher, M Bruynooghe
Proceedings Meta 90, 229-244, 1990
1001990
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
981998
Specialisation of Prolog and FCP programs using abstract interpretation
J Gallagher, M Codish, E Shapiro
New Generation Computing 6, 159-186, 1988
931988
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
812007
A system for specialising logic programs
J Gallagher
Technical Report TR-91-32, University of Bristol, 1991
771991
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
742001
Regular approximation of computation paths in logic and functional languages
J Gallagher, L Lafave
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996
551996
Abstract interpretation of pic programs through logic programming
KS Henriksen, JP Gallagher
2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006
502006
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
482016
Practical Model-Based Static Analysis for Definite Logic Programs.
JP Gallagher, D Boulanger, H Saglam
ILPS 95, 351-365, 1995
481995
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
432015
Constraint-based partial evaluation of rewriting-based functional logic programs
L Lafave, JP Gallagher
International Workshop on Logic Programming Synthesis and Transformation …, 1997
431997
Energy challenges for ICT
G Fagas, JP Gallagher, L Gammaitoni, DJ Paul
ICT-Energy Concepts for Energy Efficiency and Sustainability, 1-36, 2017
422017
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
421994
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20