Research Output 2002 2018

Filter
Conference article
2016

Interpolant tree automata and their application in Horn clause verification

Kafle, B. & Gallagher, J. P. 2016 In : Electronic Proceedings in Theoretical Computer Science. 216, p. 104-117

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Solving non-linear Horn clauses using a linear Horn clause solver

Kafle, B., Gallagher, J. P. & Ganty, P. 2016 In : Electronic Proceedings in Theoretical Computer Science. 219, p. 33-48

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
2012

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

Gallagher, J. P. 2012 In : Lecture Notes in Computer Science. 7225, p. 1-3 3 p.

Research output: Contribution to journalConference articleResearchpeer-review

File
2009

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. p. 55-70 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. p. 152-167 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
2008

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G. 2008 In : Lecture Notes in Computer Science. 4915, p. 23-42 19 p.

Research output: Contribution to journalConference articleResearchpeer-review

2006

Converting One Type-Based Abstract Domain to Another

Gallagher, J. P., Puebla, G. & Albert, E. 2006 In : Lecture Notes in Computer Science. p. 147-162 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File