Stefaan Decorte

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Stefaan Decorte, Danny De Schreye, Henk Vandecasteele
Constraint-based termination analysis of logic programs. ACM Trans. Program. Lang. Syst. 21 (6) (1999)
Stefaan Decorte, Danny De Schreye
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. IJCSLP (1998)
Stefaan Decorte, Danny De Schreye
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. ICLP (1997)
Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas
Termination Analysis for Tabled Logic Programming. LOPSTR (1997)
Danny De Schreye, Stefaan Decorte
Termination of Logic Programs: The Never-Ending Story. J. Log. Program. (1994)
Stefaan Decorte, Danny De Schreye, Massimo Fabris
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. ILPS (1993)
Kristof Verschaetse, Stefaan Decorte, Danny De Schreye
Automatic Termination Analysis. LOPSTR (1992)