Automatic Type Inference for Amortised Heap-Space Analysis
Abstract elided by the publisher.
Related papers
- Type-Based Amortised Heap-Space Analysis ESOP 2006
- Automated Amortised Analysis of Skew Heaps and Leftist Heaps CAV 2026
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs ICFP 2012
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022
- ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures CAV 2021
- Static prediction of heap space usage for first-order functional programs POPL 2003
- Static determination of quantitative resource usage for higher-order programs POPL 2010
- Live heap space analysis for languages with garbage collection ISMM 2009