Alternating Runtime and Size Complexity Analysis of Integer Programs
No abstract available.
Related papers
- KoAT: Automatic Complexity and Termination Analysis of Integer Programs CAV 2026
- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes TACAS 2021
- Analyzing Runtime and Size Complexity of Integer Programs TOPLAS 2016
- Modular Automatic Complexity Analysis of Recursive Integer Programs ESOP 2026
- Inferring Lower Runtime Bounds for Integer Programs TOPLAS 2020
- Efficient static analysis of XML paths and types PLDI 2007
- Runtime Complexity Bounds Using Squeezers TOPLAS 2022
- Type-based amortized resource analysis with integers and arrays JFP 2015