D. De Schreye, K. Verschaetse, and M. Bruynooghe. A practical technique for detecting non-terminating queries for a restricted class of horn clauses, using directed, weighted graphs. In Proc. 7th Int'l Conf. on Logic Programming, pages 649--663, Jerusalem, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Automated Termination Analysis for Logic Programs - Sohn (1993) (1 citation) (Correct)
....on this topic since 1988 [DSD] This proliferation is mainly motivated by the practical needs for termination analysis, such as in the area of control generation and program verification. A major concern in this case is automation of the termination proof process [Nai83, UVG88, APP 89, BS89b, DSVB90, Plu90a, Plu90b, Sag91, SVG91] Another approach concerns the characterization of terminating logic programs. It aims at the treatment of negation as finite failure or the better understanding of decidability issues [AP90, AB91, Dev90] These rather theoretical works usually provides manually ....
D. De Schreye, K. Verschaetse, and M. Bruynooghe. A practical technique for detecting non-terminating queries for a restricted class of horn clauses, using directed, weighted graphs. In Proc. 7th Int'l Conf. on Logic Programming, pages 649--663, Jerusalem, 1990.
A Brief Overview of Logic Programming Research at.. - Martens.. Self-citation (De schreye Bruynooghe) (Correct)
....provides a crucial step for extending results on partial correctness to full correctness. Work at K.U.Leuven on this topic has mostly addressed the issue of integrating termination analysis in general abstract interpretation frameworks. Some main contributions on this topic can be found in [17, 22, 23, 24, 73, 74, 76, 18, 21, 75, 25, 20]. 4 The OLP FOL Knowledge Base Project An essential component in any high level computer application is the knowledge component, which contains the information of the state of the system and the environment in which it operates. For systems for which complete and current state information is ....
D. De Schreye, K. Verschaetse, and M. Bruynooghe. A practical technique for detecting nonterminating queries for a restricted class of Horn clauses, using directed, weighted graphs. In Proceedings ICLP'90, pages 649--663, Jerusalem, June 1990. MIT Press.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC