Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
Abstract elided by the publisher.
Related papers
- Towards automatic resource bound analysis for OCaml POPL 2017
- Type-guided worst-case input generation POPL 2019
- Channel dependent types for higher-order mobile processes POPL 2004
- Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI 2024
- Automatic amortized resource analysis with the Quantum physicist's method ICFP 2021
- Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA 2026
- Raising expectations: automating expected cost analysis with types ICFP 2020
- Static determination of quantitative resource usage for higher-order programs POPL 2010