On the Limits of the Classical Approach to Cost Analysis
Abstract elided by the publisher.
Related papers
- On continuation-passing transformations and expected cost analysis ICFP 2021
- A Category-Theoretic Framework for Dependent Effect Systems ESOP 2026
- Quantitative Bounds on Resource Usage of Probabilistic Programs OOPSLA 2024
- FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams CAV 2025
- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis SAS 2008
- S-EnKF: co-designing for scalable ensemble Kalman filter PPoPP 2019
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis OOPSLA 2026