Affine-Based Size-Change Termination
Abstract elided by the publisher.
Related papers
- Probabilistic Termination by Monadic Affine Sized Typing ESOP 2017
- Probabilistic Termination by Monadic Affine Sized Typing TOPLAS 2019
- Büchi Complementation and Size-Change Termination TACAS 2009
- Size-Change Termination, Monotonicity Constraints and Ranking Functions CAV 2009
- Size-Change Termination and Transition Invariants SAS 2010
- Size-Change Termination Analysis in k-Bits ESOP 2006
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018
- A SAT-Based Approach to Size Change Termination with Global Ranking Functions TACAS 2008