Amortised Memory Analysis Using the Depth of Data Structures
No abstract available.
Related papers
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022
- ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures CAV 2021
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs ICFP 2012
- Automated Amortised Analysis of Skew Heaps and Leftist Heaps CAV 2026
- Amortised Resource Analysis with Separation Logic ESOP 2010
- Type-Based Amortised Heap-Space Analysis ESOP 2006
- Automatic Type Inference for Amortised Heap-Space Analysis ESOP 2013
- Interprocedural Side-Effect Analysis in Linear Time PLDI 1988