Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899019zbMATH OpenOpenAlexFDO

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

Publication date 2 May 2007

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

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

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• The size-change principle for program termination
• Size-change termination, monotonicity constraints and ranking functions
• Size-Change Termination, Monotonicity Constraints and Ranking Functions
• Lazy abstraction for size-change termination
• scientific article; zbMATH DE number 2018591

Cited in

(9)

• Fast offline partial evaluation of logic programs
• scientific article; zbMATH DE number 2018591 (Why is no real title available?)
• Size-Change Termination and Bound Analysis
• Proving Termination with (Boolean) Satisfaction
• Size-change termination and transition invariants
• Affine-based size-change termination.
• Resource control graphs
• Lazy abstraction for size-change termination
• The size-change principle for program termination

This page was built for publication: Programming Languages and Systems

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