| 2007 |
|---|
| 7 | EE | Kim S. Henriksen,
Gourinath Banda,
John P. Gallagher:
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs
CoRR abs/0712.2737: (2007) |
| 6 | EE | Kim S. Henriksen,
John P. Gallagher:
A Web-based Tool Combining Different Type Analyses
CoRR abs/cs/0701110: (2007) |
| 2006 |
|---|
| 5 | EE | Kim S. Henriksen,
John P. Gallagher:
Abstract Interpretation of PIC Programs through Logic Programming.
SCAM 2006: 184-196 |
| 2005 |
|---|
| 4 | EE | John P. Gallagher,
Kim S. Henriksen,
Gourinath Banda:
Techniques for Scaling Up Analyses Based on Pre-interpretations.
ICLP 2005: 280-296 |
| 2004 |
|---|
| 3 | EE | John P. Gallagher,
Kim S. Henriksen:
Abstract Domains Based on Regular Types.
ICLP 2004: 27-42 |
| 2 | EE | Stephen-John Craig,
John P. Gallagher,
Michael Leuschel,
Kim S. Henriksen:
Fully Automatic Binding-Time Analysis for Prolog.
LOPSTR 2004: 53-68 |
| 1 | EE | Kim S. Henriksen,
John P. Gallagher:
Analysis and specialisation of a PIC processor.
SMC (2) 2004: 1131-1135 |
