Kim Steen Henriksen
Kim Steen Henriksen
RUC
Verified email at familien-henriksen.dk
Title
Cited by
Cited by
Year
Abstract interpretation of pic programs through logic programming
KS Henriksen, JP Gallagher
Source Code Analysis and Manipulation, 2006. SCAM'06. Sixth IEEE …, 2006
372006
Fully automatic binding-time analysis for Prolog
SJ Craig, JP Gallagher, M Leuschel, KS Henriksen
International Symposium on Logic-Based Program Synthesis and Transformation …, 2004
282004
Abstract domains based on regular types
JP Gallagher, KS Henriksen
International Conference on Logic Programming, 27-42, 2004
272004
Techniques for scaling up analyses based on pre-interpretations
JP Gallagher, KS Henriksen, G Banda
International Conference on Logic Programming, 280-296, 2005
232005
Analysis and specialisation of a PIC processor
KS Henriksen, JP Gallagher
Systems, Man and Cybernetics, 2004 IEEE International Conference on 2, 1131-1135, 2004
112004
Experiments with a convex polyhedral analysis tool for logic programs
K Henriksen, G Banda, J Gallagher
arXiv preprint arXiv:0712.2737, 2007
72007
A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software
KS Henriksen
Computer Science Research Report, 1-219, 2010
22010
A web-based tool combining different type analyses
K Henriksen, J Gallagher
arXiv preprint cs/0701110, 2007
12007
Computer Science Research Report: A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software.# 117
KS Henriksen
2007
The system can't perform the operation now. Try again later.
Articles 1–9