Follow
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
2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006
502006
Abstract domains based on regular types
JP Gallagher, KS Henriksen
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo …, 2004
362004
Fully automatic binding-time analysis for Prolog
SJ Craig, JP Gallagher, M Leuschel, KS Henriksen
Logic Based Program Synthesis and Transformation: 14th International …, 2005
302005
Techniques for scaling up analyses based on pre-interpretations
JP Gallagher, KS Henriksen, G Banda
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
272005
Analysis and specialisation of a PIC processor
KS Henriksen, JP Gallagher
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 2004
112004
Experiments with a convex polyhedral analysis tool for logic programs
K Henriksen, G Banda, J Gallagher
arXiv preprint arXiv:0712.2737, 2007
82007
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