Search the dblp DataBase

Publications of Author

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