Amortised Resource Analysis with Separation Logic
Abstract elided by the publisher.
Related papers
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs ICFP 2012
- Automated Amortised Analysis of Skew Heaps and Leftist Heaps CAV 2026
- ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures CAV 2021
- Static determination of quantitative resource usage for higher-order programs POPL 2010
- Type-Based Amortised Heap-Space Analysis ESOP 2006
- Amortised Memory Analysis Using the Depth of Data Structures ESOP 2009
- Automatic Type Inference for Amortised Heap-Space Analysis ESOP 2013
- Resource-sensitive synchronization inference by abduction POPL 2012