BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × United Kingdom
2 × Belgium
Collaborated with:
D.D.Schreye M.Fabris K.Verschaetse M.Leuschel B.Martens K.F.Sagonas
Talks about:
analysi (5) termin (5) automat (4) program (2) logic (2) norm (2) constraint (1) properti (1) practic (1) driven (1)

Person: Stefaan Decorte

DBLP DBLP: Decorte:Stefaan

Contributed to:

JICSLP 19981998
ICLP 19971997
LOPSTR 19971997
ILPS 19931993
LOPSTR 19921992

Wrote 5 papers:

JICSLP-1998-DecorteS #analysis #termination
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space (SD, DDS), pp. 235–249.
ICLP-1997-DecorteS #analysis #automation #constraints #logic programming #source code
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs (SD, DDS), pp. 78–92.
LOPSTR-1997-DecorteSLMS #analysis #logic programming #termination
Termination Analysis for Tabled Logic Programming (SD, DDS, ML, BM, KFS), pp. 111–127.
ILPS-1993-DecorteSF #analysis #automation #termination
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis (SD, DDS, MF), pp. 420–436.
LOPSTR-1992-VerschaetseDS #analysis #automation #termination
Automatic Termination Analysis (KV, SD, DDS), pp. 168–183.
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.