Kristof Verschaetse

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Danny De Schreye, Kristof Verschaetse
Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. New Gener. Comput. 13 (2) (1995)
Kristof Verschaetse, Stefaan Decorte, Danny De Schreye
Automatic Termination Analysis. LOPSTR (1992)
Danny De Schreye, Kristof Verschaetse
Tutorial on Termination of Logic Programs. META (1992)
Kristof Verschaetse, Danny De Schreye
Deriving of Linear Size Relations by Abstract Interpretation. PLILP (1992)
Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns. FGCS (1992)
Kristof Verschaetse, Danny De Schreye
Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. ICLP (1991)
Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe
Generation and Compilation of Efficient Computation Rules. ICLP (1990)
Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe
A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. ICLP (1990)
Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse
On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. Artif. Intell. 41 (2) (1989)