Recency-Abstraction for Heap-Allocated Storage
No abstract available.
Related papers
- A dynamic evaluation of the precision of static heap abstractions OOPSLA 2010
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Storage Use Analysis and its Applications ICFP 1996
- Designing a Trace Format for Heap Allocation Events ISMM 2000
- Efficient dynamic heap allocation of scratch-pad memory ISMM 2008
- A semantics for procedure local heaps and its abstractions POPL 2005
- Atomic Heap Transactions and Fine-grain Interrupts ICFP 1999
- Dynamic heap type inference for program understanding and debugging POPL 2007