An Effect System Combining Alias and Liveness for Explicit Memory Reuse
No abstract available.
Related papers
- Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs ISMM 2004
- Uniqueness and reference immutability for safe parallelism OOPSLA 2012
- Reference Capabilities for Concurrency Control ECOOP 2016
- Alias annotations for program understanding OOPSLA 2002
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- Perceus: garbage free reference counting with reuse PLDI 2021
- Automatic communication optimizations through memory reuse strategies PPoPP 2012
- Free-Me: a static analysis for automatic individual object reclamation PLDI 2006