Non-cumulative Resource Analysis
No abstract available.
Related papers
- Normalization by Evaluation for Non-cumulativity ICFP 2025
- Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs ESOP 2026
- Practical smart contract sharding with ownership and commutativity analysis PLDI 2021
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes CAV 2015
- Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA 2026
- Asymptotic Resource Usage Bounds APLAS 2009
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Unscanning by Möbius Inversion (Functional Pearl) ICFP 2026