Kristof Verschaetse

According to our database, Kristof Verschaetse authored at least 9 papers between 1989 and 1995.

Collaborative distances:

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

1995

Deriving Linear Size Relations for Logic Programs by Abstract Interpretation.

Danny De Schreye, Kristof Verschaetse

New Gener. Comput., 1995

1992

Deriving of Linear Size Relations by Abstract Interpretation.

Kristof Verschaetse, Danny De Schreye

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Tutorial on Termination of Logic Programs.

Danny De Schreye, Kristof Verschaetse

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Automatic Termination Analysis.

Kristof Verschaetse, Stefaan Decorte, Danny De Schreye

Proceedings of the Logic Program Synthesis and Transformation, 1992

A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns.

Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Deriving Termination Proofs for Logic Programs, Using Abstract Procedures.

Kristof Verschaetse, Danny De Schreye

Proceedings of the Logic Programming, 1991

1990

Generation and Compilation of Efficient Computation Rules.

Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe

Proceedings of the Logic Programming, 1990

A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs.

Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe

Proceedings of the Logic Programming, 1990

1989

On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses.

Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse

Artif. Intell., 1989