dblp.uni-trier.dewww.uni-trier.de

Kristof Verschaetse Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
9 Danny De Schreye, Kristof Verschaetse: Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. New Generation Comput. 13(2): 117-154 (1995)
1992
8 Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe: A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns. FGCS 1992: 481-488
7 Kristof Verschaetse, Stefaan Decorte, Danny De Schreye: Automatic Termination Analysis. LOPSTR 1992: 168-183
6 Danny De Schreye, Kristof Verschaetse: Tutorial on Termination of Logic Programs. META 1992: 70-88
5EEKristof Verschaetse, Danny De Schreye: Deriving of Linear Size Relations by Abstract Interpretation. PLILP 1992: 296-310
1991
4 Kristof Verschaetse, Danny De Schreye: Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. ICLP 1991: 301-315
1990
3 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: 649-663
2 Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe: Generation and Compilation of Efficient Computation Rules. ICLP 1990: 700-714
1989
1 Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse: On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. Artif. Intell. 41(2): 237-248 (1989)

Coauthor Index

1Maurice Bruynooghe [1] [2] [3] [8]
2Stefaan Decorte [7]
3Danny De Schreye [1] [2] [3] [4] [5] [6] [7] [8] [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)