1. 2006
  2. Udgivet

    Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. / Albert, Elvira; Puebla, German; Gallagher, John Patrick.

    Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005. red. / Patricia M. Hill. Springer, 2006. s. 115-132 (Lecture Notes in Computer Science, Vol. 3901).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  3. 2005
  4. 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

  5. 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

  6. 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

  7. 2004
  8. 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

  9. 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

  10. 2003
  11. 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

  12. 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

  13. 2002
  14. 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

  15. 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