The dependency triple framework for termination of logic programs

DOI10.1007/978-3-642-12592-8_4MaRDI QIDQ3558284zbMATH OpenOpenAlexFDO

Authors Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen

Publication date 4 May 2010

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://publications.rwth-aachen.de/record/129003

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Termination Analysis of Logic Programs Based on Dependency Graphs
• Dependency triples for improving termination analysis of logic programs with cut
• A general framework for automatic termination analysis od logic programs
• Termination of logic programs: the never-ending story
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(5)

• Dependency triples for improving termination analysis of logic programs with cut
• Checking termination of bottom-up evaluation of logic programs with function symbols
• Localized operational termination in general logics
• Termination Analysis of Logic Programs Based on Dependency Graphs
• A general framework for automatic termination analysis od logic programs

This page was built for publication: The dependency triple framework for termination of logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558284)