Type-Based Amortised Heap-Space Analysis
Abstract elided by the publisher.
Related papers
- Automatic Type Inference for Amortised Heap-Space Analysis ESOP 2013
- Automated Amortised Analysis of Skew Heaps and Leftist Heaps CAV 2026
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs ICFP 2012
- ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures CAV 2021
- Amortised Resource Analysis with Separation Logic ESOP 2010
- Amortised Memory Analysis Using the Depth of Data Structures ESOP 2009
- Static prediction of heap space usage for first-order functional programs POPL 2003