Monotonic Abstraction for Programs with Dynamic Memory Heaps
Abstract elided by the publisher.
Related papers
- Parametric heap usage analysis for functional programs ISMM 2009
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract ISMM 2023
- Efficient dynamic heap allocation of scratch-pad memory ISMM 2008
- On improving heap memory layout by dynamic pool allocation CGO 2010
- Integrated symbol table, engine and heap memory management in multi-engine prolog ISMM 2011
- A Theory of Non-monotone Memory (Or: Contexts for free) ESOP 2009
- The judgment of forseti: economic utility for dynamic heap sizing of multiple runtimes ISMM 2015