Bound Analysis of Imperative Programs with the Size-Change Abstraction
No abstract available.
Related papers
- Size-change termination with difference constraints TOPLAS 2008
- Relational cost analysis in a functional-imperative setting JFP 2021
- Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE 2025
- Compositional certified resource bounds PLDI 2015
- Size-Change Termination Analysis in k-Bits ESOP 2006
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Program termination analysis in polynomial time TOPLAS 2007
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018