Symbolic Resource Bound Inference for Functional Programs
No abstract available.
Related papers
- Analysing memory resource bounds for low-level programs ISMM 2008
- Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI 2024
- Integrating Resource Analyses via Resource Decomposition OOPSLA 2025
- Raising expectations: automating expected cost analysis with types ICFP 2020
- Towards automatic resource bound analysis for OCaml POPL 2017
- Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials OOPSLA 2025
- Bounded expectations: resource analysis for probabilistic programs PLDI 2018
- Static determination of quantitative resource usage for higher-order programs POPL 2010