Stefaan Decorte

According to our database, Stefaan Decorte authored at least 7 papers between 1992 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Constraint-based termination analysis of logic programs.

Stefaan Decorte, Danny De Schreye, Henk Vandecasteele

ACM Trans. Program. Lang. Syst., 1999

1998

Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space.

Stefaan Decorte, Danny De Schreye

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

Termination Analysis for Tabled Logic Programming.

Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs.

Stefaan Decorte, Danny De Schreye

Proceedings of the Logic Programming, 1997

1994

Termination of Logic Programs: The Never-Ending Story.

Danny De Schreye, Stefaan Decorte

J. Log. Program., 1994

1993

Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis.

Stefaan Decorte, Danny De Schreye, Massimo Fabris

Proceedings of the Logic Programming, 1993

1992

Automatic Termination Analysis.

Kristof Verschaetse, Stefaan Decorte, Danny De Schreye

Proceedings of the Logic Program Synthesis and Transformation, 1992