Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction
No abstract available.
Related papers
- Size-Change Termination and Transition Invariants SAS 2010
- Size-change termination with difference constraints TOPLAS 2008
- Practical Subtyping for Curry-Style Languages TOPLAS 2019
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- Transition Invariants and Transition Predicate Abstraction for Program Termination TACAS 2011
- An abstract interpretation framework for termination POPL 2012
- Natural synthesis of provably-correct data-structure manipulations OOPSLA 2017
- Inferring Inductive Invariants from Phase Structures CAV 2019