John P Gallagher
John P Gallagher
Roskilde University
Vahvistettu sähköpostiosoite verkkotunnuksessa ruc.dk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Tutorial on specialisation of logic programs
JP Gallagher
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993
269*1993
Fast and Precise Regular Approximations of Logic Programs.
JP Gallagher, DA de Waal
ICLP 94, 599-613, 1994
1711994
Meta-programming in logic programming
PM Hill, J Gallagher
Artificial Intelligence and Logic Programming. Oxford University Press, 1994
119*1994
The derivation of an algorithm for program specialisation
J Gallagher, M Bruynooghe
New Generation Computing 9 (3-4), 305, 1991
1171991
Transforming logic programs by specialising interpreters
JP Gallagher
Proceedings of the 7th European Conference on Artificial Intelligence-Volume …, 1986
1071986
Ensuring global termination of partial deduction while allowing flexible polyvariance
B Martens, JP Gallagher
ICLP'95, the Twelfth International Conference on Logic Programming, 597-613, 1995
1041995
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
1001990
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
832007
Specialisation of Prolog and FCP programs using abstract interpretation
J Gallagher, M Codish, E Shapiro
New Generation Computing 6 (2-3), 159-186, 1988
821988
A system for specialising logic programs
J Gallagher
Technical Report TR-91-32, University of Bristol, 1991
791991
Analysis of imperative programs through analysis of constraint logic programs
JC Peralta, JP Gallagher, H Sağlam
International Static Analysis Symposium, 246-261, 1998
781998
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, 2002
662002
Regular approximation of computation paths in logic and functional languages
J Gallagher, L Lafave
Partial Evaluation, 115-136, 1996
471996
Practical Model-Based Static Analysis for Definite Logic Programs.
JP Gallagher, D Boulanger, H Saglam
ILPS 95, 351-365, 1995
451995
Constraint-based partial evaluation of rewriting-based functional logic programs
L Lafave, JP Gallagher
International Workshop on Logic Programming Synthesis and Transformation …, 1997
421997
Abstract interpretation of pic programs through logic programming
KS Henriksen, JP Gallagher
2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006
382006
The applicability of logic program analysis and transformation to theorem proving
DA de Waal, JP Gallagher
International Conference on Automated Deduction, 207-221, 1994
371994
Convex hull abstractions in specialization of CLP programs
JC Peralta, JP Gallagher
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
362002
Combining norms to prove termination
S Genaim, M Codish, J Gallagher, V Lagoon
International Workshop on Verification, Model Checking, and Abstract …, 2002
352002
Deletion of redundant unary type predicates from logic programs
J Gallagher, DA de Waal
Logic Program Synthesis and Transformation, 151-167, 1993
331993
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20