Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract elided by the publisher.
Related papers
- Size-change termination with difference constraints TOPLAS 2008
- A SAT-Based Approach to Size Change Termination with Global Ranking Functions TACAS 2008
- Ranking functions for size-change termination TOPLAS 2009
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Synthesis of ranking functions using extremal counterexamples PLDI 2015
- Termination analysis without the tears PLDI 2021
- On Multiphase-Linear Ranking Functions CAV 2017
- The size-change principle for program termination POPL 2001