Abstract Domains Based on Regular Types. - John P. Gallagher; Kim S. Henriksen (ICLP, 2004)

Fully Automatic Binding-Time Analysis for Prolog. - Stephen-John Craig; John P. Gallagher; Michael Leuschel; Kim S. Henriksen (LOPSTR, 2004)

Analysis and specialisation of a PIC processor. - Kim S. Henriksen; John P. Gallagher (SMC (2), 2004)

Techniques for Scaling Up Analyses Based on Pre-interpretations. - John P. Gallagher; Kim S. Henriksen; Gourinath Banda (ICLP, 2005)

Abstract Interpretation of PIC Programs through Logic Programming. - Kim S. Henriksen; John P. Gallagher (SCAM, 2006)

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs - Kim S. Henriksen; Gourinath Banda; John P. Gallagher (CoRR, 2007)

A Web-based Tool Combining Different Type Analyses - Kim S. Henriksen; John P. Gallagher (CoRR, 2007)