Termination of Linear Programs
Abstract elided by the publisher.
Related papers
- Termination of Integer Linear Programs CAV 2006
- Termination Proofs for Linear Simple Loops SAS 2012
- From Shape Analysis to Termination Analysis in Linear Time CAV 2016
- Reflections on Termination of Linear Loops CAV 2021
- Algorithms with polynomial interpretation termination proof JFP 2001
- On the Termination of Integer Loops TOPLAS 2012
- Fair Termination of Asynchronous Binary Sessions ECOOP 2025
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026