Termination of Integer Linear Programs
No abstract available.
Related papers
- Reflections on Termination of Linear Loops CAV 2021
- On the Termination of Integer Loops TOPLAS 2012
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Proving LTL Properties of Bitvector Programs and Decompiled Binaries APLAS 2021
- Ramsey Quantifiers in Linear Arithmetics POPL 2024
- On the Termination of Integer Loops VMCAI 2012