1. 2009
  2. Udgivet

    Non-Discriminating Arguments and Their Uses. / Christiansen, Henning; Gallagher, John Patrick.

    I: Lecture Notes in Computer Science, Nr. 5649, 2009, s. 55-69.

    Publikation: Forskning - peer reviewKonferenceartikel

  3. Udgivet

    Type-based homeomorphic embedding for online termination. / Albert, Elvira; Gallagher, John Patrick; Gómez-Zamalloa, Miguel; Puebla, Germán.

    I: Information Processing Letters, Vol. 109, Nr. 15, 2009, s. 879-886.

    Publikation: Forskning - peer reviewTidsskriftartikel

  4. 2008
  5. Udgivet

    Approximating Term Rewriting Systems : A Horn Clause Specification and Its Implementation. / Gallagher, John Patrick; Rosendahl, Mads.

    Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. red. / Iliano Cervesato; Helmut Veith; Andrei Voronkov. Vol. 5330 Springer, 2008. s. 682-696 (Lecture Notes in Computer Science, Vol. 5330).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  6. Udgivet

    Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. / Albert, Elvira; Gallagher, John Patrick; Gómez-Zamalloa, Miguel; Puebla, Germán.

    I: Lecture Notes in Computer Science, Nr. 4915, 2008, s. 23-42.

    Publikation: Forskning - peer reviewKonferenceartikel

  7. 2007
  8. Udgivet

    Experiments with a Convex Polyhedral Analysis Tool for Logic Programs. / Henriksen, Kim Steen; Banda, Gourinath; Gallagher, John Patrick.

    WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments. red. / Patricia Hill; Wim Vanhoof. University of Porto, 2007. s. 99-116.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  9. Udgivet

    Termination analysis of logic programs through combination of type-based norms. / Bruynooghe, Maurice; Codish, Michael; Gallagher, John Patrick; Genaim, Samir; Vanhoof, Wim.

    I: ACM Transactions on Programming Languages and Systems, Vol. 29, Nr. 2, 2007.

    Publikation: Forskning - peer reviewTidsskriftartikel

  10. 2006
  11. Udgivet

    Abstract Interpretation of PIC programs through Logic Programming. / Henriksen, Kim Steen; Gallagher, John Patrick.

    Sixth IEEE International Workshop on Source Code Analysis and Manipulation. IEEE, 2006. s. 184-193.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  12. Udgivet

    A Web-based Tool Combining Different Type Analyses. / Henriksen, Kim Steen; Gallagher, John Patrick.

    WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. red. / Wim Vanhoof; Susana Hernández. 2006. s. 118-129.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  13. Udgivet

    Converting One Type-Based Abstract Domain to Another. / Gallagher, John Patrick; Puebla, German; Albert, Elvira.

    I: Lecture Notes in Computer Science, 2006, s. 147-162.

    Publikation: Forskning - peer reviewKonferenceartikel

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