1. 2005
  2. Udgivet

    Fully Automatic Binding Time Analysis for Prolog. / Craig, Stephen; Gallagher, John Patrick; Leuschel, Michael; Henriksen, Kim Steen.

    Logic Based Program Synthesis and Transformation. red. / Sandro Etalle. Springer, 2005. s. 53-68.

    Publikation: ForskningKonferencebidrag i proceedings

  3. Udgivet

    Inference of Well-Typings for Logic Programs with Application to Termination Analysis. / Bruynooghe, M.; Gallagher, John Patrick; Humbeeck, W. Van.

    Static Analysis, 12th International Symposium. Kluwer Academic Publishers, 2005. s. 35-51 (Lecture Notes in Computer Science, Vol. 3672).

    Publikation: ForskningKonferencebidrag i proceedings

  4. Udgivet

    Techniques for Scaling Up Analyses Based on Pre-interpretations. / Gallagher, John Patrick; Henriksen, Kim Steen; Banda, Gourinath.

    Logic Programming, 21st International Conference. red. / M. Gabbrielli; G. Gupta. Springer, 2005. s. 280-296 (Lecture Notes in Computer Science, Vol. 3668).

    Publikation: ForskningKonferencebidrag i proceedings

  5. 2004
  6. Udgivet

    Abstract Domains Based on Regular Types. / Gallagher, John Patrick; Henriksen, Kim Steen.

    20th International Conference, ICLP 2004, Proceedings. red. / Bart Demoen; Vladimir Lifschitz. Springer, 2004.

    Publikation: ForskningKonferencebidrag i proceedings

  7. Udgivet

    Inferring Polymorphic Types from Logic Programs. / Bruynooghe, Maurice; Gallagher, John Patrick.

    Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation. red. / Sandro Etalle. Verona, Italien, 2004. s. 244 - 259.

    Publikation: ForskningBidrag til bog/antologi

  8. 2003
  9. Udgivet

    A Program Transformation for Backwards Analysis of Logic Programs. / Gallagher, John Patrick.

    Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003. red. / Maurice Bruynooghe. Uppsala : Springer, 2003. s. 92-105 (Lecture Notes in Computer Science, Vol. 3018).

    Publikation: ForskningBidrag til bog/antologi

  10. Udgivet

    Convex Hull Abstraction in Specialisation of CLP Programs. / Peralta, J.C.; Gallagher, John Patrick.

    I: Lecture Notes in Computer Science, Nr. 2664, 2003, s. 90-108.

    Publikation: Forskning - peer reviewTidsskriftartikel

  11. 2002
  12. Udgivet

    Abstract interpretation over non-deterministic finite tree automate for set-based analysis of logic programs. / Gallagher, John Patrick; Puebla, G.

    Practical aspects of declarative languages, 4th International Symposium, PADL 2002: Portland, OR, USA. red. / Shriram Krishnamurthi; C.R. Ramakrishnan. Springer, 2002. s. 243-261 (Lecture Notes in Computer Science, Vol. 2257).

    Publikation: ForskningBidrag til bog/antologi

  13. Udgivet

    Combining norms to prove termination. / Genaim, S.; Codish, M.; Gallagher, John Patrick; Lagoon, V.

    Verification, model checking, and abstract interpretation, Third International Workshop, VMCAI 2002: Venice, Italy, January 21-22, 2002. red. / Agostino Cortesi. Springer, 2002. s. 126-138 (Lecture Notes in Computer Science, Vol. 2294).

    Publikation: ForskningBidrag til bog/antologi

  14. Udgivet

    Convex hull abstractions in specialisation of CLP programs. / Peralta, J.C.; Gallagher, John Patrick.

    Pre-proceedings of LOPSTR'02, Madrid, 17-20 September 2002. red. / Michael Leuschel; Francisco Bueno. Madrid : Universidad Politécnica de Madrid, 2002. s. 104-114.

    Publikation: ForskningBidrag til bog/antologi