Size-Change Termination Analysis in k-Bits
No abstract available.
Related papers
- Ranking functions for size-change termination TOPLAS 2009
- The size-change principle for program termination POPL 2001
- Program termination analysis in polynomial time TOPLAS 2007
- Affine-Based Size-Change Termination APLAS 2003
- 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
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018