Publications of John P Gallagher

period 2004 - 2009

Articles in internationally reviewed journals

1 reference

• Bruynooghe, Maurice; Codish, Michael; Gallagher, John P.; Genaim, Samir; Vanhoof, Wim. Termination analysis of logic programs through combination of type-based norms, ACM Transactions on Programming Languages and Systems, volume 29, issue 2, pages 1-44, 2007

  @article{124239,
    author = "Bruynooghe, Maurice and Codish, Michael and Gallagher, John P. and Genaim, Samir and Vanhoof, Wim",
    title = "Termination analysis of logic programs through combination of type-based norms",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "29",
    number = "2",
    pages = "1--44",
    month = Apr,
    year = "2007",
    doi = "10.1145/1216374.1216378",
    url = "https://lirias.kuleuven.be/handle/123456789/124239",
  }
  

Papers at international conferences and symposia, published in full in proceedings

4 references

• Schrijvers, Tom; Bruynooghe, Maurice; Gallagher, John P.. From monomorphic to polymorphic well-typings and beyond, 18th Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July 2008, Lecture Notes in Computer Science, volume 5438, pages 152-167, Springer, 2009

  @inproceedings{208764,
    author = "Schrijvers, Tom and Bruynooghe, Maurice and Gallagher, John P.",
    title = "From monomorphic to polymorphic well-typings and beyond",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "152--167",
    year = "2009",
    doi = "10.1007/978-3-642-00515-2\_{}11",
    url = "https://lirias.kuleuven.be/handle/123456789/208764",
  }
  

• Schrijvers, Tom; Gallagher, John P.; Bruynooghe, Maurice. From monomorphic to polymorphic well-typings and beyond, Hanus, Michael (ed.), Logic-Based Program Synthesis and Transformation, Valencia, Spain, 17-18 July, 2008, Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, pages 3-12, Technical University of Valencia

  @inproceedings{185710,
    author = "Schrijvers, Tom and Gallagher, John P. and Bruynooghe, Maurice",
    title = "From monomorphic to polymorphic well-typings and beyond",
    booktitle = "Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, ",
    editor = "Hanus, Michael",
    publisher = "Technical University of Valencia",
    location = "Valencia, Spain",
    pages = "3--12",
    month = Jul,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/185710",
  }
  

• Bruynooghe, Maurice; Gallagher, John P.; Van Humbeeck, W.. Inference of well-typings for logic programs with application to termination analysis, The 12th International Static Analysis Symposium, London, United Kingdom, September 7-9, 2005, Lecture Notes in Computer Science, volume 3672, pages 35-51, Springer

  @inproceedings{124017,
    author = "Bruynooghe, Maurice and Gallagher, John P. and Van Humbeeck, W.",
    title = "Inference of well-typings for logic programs with application to termination analysis",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "35--51",
    year = "2005",
    doi = "10.1007/11547662\_{}5",
    url = "https://lirias.kuleuven.be/handle/123456789/124017",
  }
  

• Bruynooghe, Maurice; Gallagher, John P.. Inferring polymorphic types from logic programs, Etalle, S (ed.), 14th International Symposium on Logic-based Program Synthesis and Transformation, Verona, Italy, August 26-28, 2004, Logic Based Synthesis and Transformation, LOPSTR 2004, Pre-Proceedings, pages 244-259

  @inproceedings{132027,
    author = "Bruynooghe, Maurice and Gallagher, John P.",
    title = "Inferring polymorphic types from logic programs",
    booktitle = "Logic Based Synthesis and Transformation, LOPSTR 2004, Pre-Proceedings, ",
    editor = "Etalle, S.",
    pages = "244--259",
    year = "2004",
    url = "https://lirias.kuleuven.be/handle/123456789/132027",
  }
  

Internal reports

2 references

• Schrijvers, Tom; Gallagher, John P.; Bruynooghe, Maurice. From monomorphic to polymorphic well-typings and beyond - Extended report, CW Reports, volume CW518, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2008

  @techreport{198388,
    author = "Schrijvers, Tom and Gallagher, John P. and Bruynooghe, Maurice",
    title = "From monomorphic to polymorphic well-typings and beyond - {E}xtended report",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW518",
    month = Jun,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/198388",
  }
  

• Bruynooghe, Maurice; Gallagher, John P.; Van Humbeeck, Wouter. Inference of well-typings for logic programs with application to termination analysis, CW Reports, volume CW409, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2005

  @techreport{166958,
    author = "Bruynooghe, Maurice and Gallagher, John P. and Van Humbeeck, Wouter",
    title = "Inference of well-typings for logic programs with application to termination analysis",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW409",
    month = Apr,
    year = "2005",
    url = "https://lirias.kuleuven.be/handle/123456789/166958",
  }
  

No publications found for the period 2004-2009 and the types

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in book, internationally recognised scientific publisher
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at international conferences and symposia
• Meeting abstracts, presented at other conferences and symposia
• Thesis
• Review
• Translation without scientific introduction
• Scientific popularisation
• Misc.
• External reports

 
Last update local database Sun May 19 2013 0:18 am; It contains 12 publications of John P Gallagher.