Kim S. Henriksen

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Kim S. Henriksen, Gourinath Banda, John P. Gallagher
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs CoRR (2007)
Kim S. Henriksen, John P. Gallagher
A Web-based Tool Combining Different Type Analyses CoRR (2007)
Kim S. Henriksen, John P. Gallagher
Abstract Interpretation of PIC Programs through Logic Programming. SCAM (2006)
John P. Gallagher, Kim S. Henriksen, Gourinath Banda
Techniques for Scaling Up Analyses Based on Pre-interpretations. ICLP (2005)
John P. Gallagher, Kim S. Henriksen
Abstract Domains Based on Regular Types. ICLP (2004)
Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen
Fully Automatic Binding-Time Analysis for Prolog. LOPSTR (2004)
Kim S. Henriksen, John P. Gallagher
Analysis and specialisation of a PIC processor. SMC (2) (2004)