BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Spain
1 × USA
Collaborated with:
J.P.Gallagher G.Banda S.Craig M.Leuschel
Talks about:
interpret (2) abstract (2) program (2) base (2) techniqu (1) regular (1) automat (1) analysi (1) prolog (1) domain (1)

Person: Kim S. Henriksen

DBLP DBLP: Henriksen:Kim_S=

Contributed to:

SCAM 20062006
ICLP 20052005
ICLP 20042004
LOPSTR 20042004

Wrote 4 papers:

SCAM-2006-HenriksenG #abstract interpretation #logic programming #source code
Abstract Interpretation of PIC Programs through Logic Programming (KSH, JPG), pp. 184–196.
ICLP-2005-GallagherHB #analysis #scalability
Techniques for Scaling Up Analyses Based on Pre-interpretations (JPG, KSH, GB), pp. 280–296.
ICLP-2004-GallagherH #abstract domain
Abstract Domains Based on Regular Types (JPG, KSH), pp. 27–42.
LOPSTR-2004-CraigGLH #analysis #automation #prolog
Fully Automatic Binding-Time Analysis for Prolog (SJC, JPG, ML, KSH), pp. 53–68.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.