Kim S. Henriksen

According to our database, Kim S. Henriksen authored at least 7 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

A Web-based Tool Combining Different Type Analyses

Kim S. Henriksen, John P. Gallagher

CoRR, 2007

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim S. Henriksen, Gourinath Banda, John P. Gallagher

CoRR, 2007

2006

Abstract Interpretation of PIC Programs through Logic Programming.

Kim S. Henriksen, John P. Gallagher

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

2005

Techniques for Scaling Up Analyses Based on Pre-interpretations.

John P. Gallagher, Kim S. Henriksen, Gourinath Banda

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Analysis and specialisation of a PIC processor.

Kim S. Henriksen, John P. Gallagher

Proceedings of the IEEE International Conference on Systems, 2004

Fully Automatic Binding-Time Analysis for Prolog.

Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Abstract Domains Based on Regular Types.

John P. Gallagher, Kim S. Henriksen

Proceedings of the Logic Programming, 20th International Conference, 2004