Sciweavers

LOPSTR
2007
Springer

Termination Analysis of Logic Programs Based on Dependency Graphs

14 years 20 days ago
Termination Analysis of Logic Programs Based on Dependency Graphs
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were developed for term rewriting) to the logic programming domain. The main idea of the approach is that termination conditions for a program are established based on the decomposition of its dependency graph into its strongly connected components. These conditions can then be analysed separately by possibly different well-founded orders. We propose a constraint-based approach for automating the framework. Then, for example, termination techniques based on polynomial interpretations can be plugged in as a component to generate well-founded orders.
Manh Thang Nguyen, Jürgen Giesl, Peter Schnei
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LOPSTR
Authors Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
Comments (0)