Typing Safe Deallocation
No abstract available.
Related papers
- Type-based safe resource deallocation for shared-memory concurrency OOPSLA 2012
- Safe Deferred Memory Reclamation with Types ESOP 2019
- Fractional Ownerships for Safe Memory Deallocation APLAS 2009
- Lightweight monadic regions Haskell 2008
- Typed memory management via static capabilities TOPLAS 2000
- Safe and efficient hybrid memory management for Java ISMM 2015
- GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing CGO 2025
- When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking OOPSLA 2026