Logic Programming

DOI10.1007/11562931MaRDI QIDQ5475787zbMATH OpenOpenAlexFDO

Authors Michael Codish, V. Lagoon, Peter J. Stuckey

Publication date 27 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Size-Change Termination, Monotonicity Constraints and Ranking Functions
• Size-change termination, monotonicity constraints and ranking functions
• SAT-based termination analysis using monotonicity constraints over the integers
• Monotonicity constraints for termination in the integer domain
• The size-change principle for program termination

Cited in

(17)

• A complexity tradeoff in ranking-function termination proofs
• A second-order formulation of non-termination
• Fast offline partial evaluation of logic programs
• Monadic Sequence Testing and Explicit Test-Refinements
• Terminating evaluation of logic programs with finite three-valued models
• Dependency triples for improving termination analysis of logic programs with cut
• SAT-based termination analysis using monotonicity constraints over the integers
• Testing Monotone Read-Once Functions
• Monotonicity constraints for termination in the integer domain
• Checking termination of bottom-up evaluation of logic programs with function symbols
• Using linear constraints for logic program termination analysis
• scientific article; zbMATH DE number 1418269 (Why is no real title available?)
• A SAT-Based Approach to Size Change Termination with Global Ranking Functions
• Monotonicity Analysis Can Speed Up Verification
• Ranking functions for linear-constraint loops
• Size-change termination, monotonicity constraints and ranking functions
• Size-Change Termination, Monotonicity Constraints and Ranking Functions

This page was built for publication: Logic Programming

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