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 × Poland
1 × Portugal
1 × United Kingdom
2 × USA
Collaborated with:
A.Mallya G.Gupta A.Bansal R.Min
Talks about:
program (4) logic (4) coinduct (3) implement (1) bisimilar (1) descript (1) pointer (1) languag (1) analysi (1) extend (1)

Person: Luke Simon

DBLP DBLP: Simon:Luke

Contributed to:

SAS 20092009
ICALP 20072007
ICLP 20072007
ICLP 20062006
LOPSTR 20052005

Wrote 5 papers:

SAS-2009-Simon #analysis #optimisation #pointer #similarity #using
Optimizing Pointer Analysis Using Bisimilarity (LS), pp. 222–237.
ICALP-2007-SimonBMG #induction #logic programming
Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.
ICLP-2007-GuptaBMSM #induction #logic programming
Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.
ICLP-2006-SimonMBG #induction #logic programming
Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.
LOPSTR-2005-SimonMG #design #implementation #realtime
Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.

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.