Modular Automatic Complexity Analysis of Recursive Integer Programs
Abstract elided by the publisher.
Related papers
- KoAT: Automatic Complexity and Termination Analysis of Integer Programs CAV 2026
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes TACAS 2021
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025
- Alternating Runtime and Size Complexity Analysis of Integer Programs TACAS 2014
- Analysis of modular arithmetic TOPLAS 2007
- ACE: An Automatic Complexity Evaluator TOPLAS 1988
- Inferring Lower Runtime Bounds for Integer Programs TOPLAS 2020