On the Termination of Integer Loops
No abstract available.
Related papers
- Termination of Triangular Integer Loops is Decidable CAV 2019
- On the Termination of Integer Loops TOPLAS 2012
- Reflections on Termination of Linear Loops CAV 2021
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Proving Termination Through Conditional Termination TACAS 2017
- A Calculus for Modular Loop Acceleration TACAS 2020
- Termination of Integer Linear Programs CAV 2006