Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68149OpenAlexW2491912653MaRDI QIDQ5899019FDOQ5899019

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

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

Mathematics Subject Classification ID

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

Cited In (9)

• Fast offline partial evaluation of logic programs
• Size-change termination and transition invariants
• Affine-based size-change termination.
• The size-change principle for program termination
• Lazy abstraction for size-change termination
• Title not available (Why is that?)
• Resource control graphs
• Proving Termination with (Boolean) Satisfaction
• Size-Change Termination and Bound Analysis

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)