Amortized Resource Analysis with Polynomial Potential
Abstract elided by the publisher.
Related papers
- Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA 2026
- Raising expectations: automating expected cost analysis with types ICFP 2020
- Liquid resource types ICFP 2020
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Multivariate amortized resource analysis TOPLAS 2012
- Towards automatic resource bound analysis for OCaml POPL 2017
- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics APLAS 2010
- Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials OOPSLA 2025