Fractional Ownerships for Safe Memory Deallocation
Abstract elided by the publisher.
Related papers
- Type-based safe resource deallocation for shared-memory concurrency OOPSLA 2012
- Functional Ownership through Fractional Uniqueness OOPSLA 2024
- Semantics of fractional permissions with nesting TOPLAS 2010
- Borrowable Fractional Ownership Types for Verification VMCAI 2024
- Reference Capabilities for Flexible Memory Management OOPSLA 2023
- Safe Deferred Memory Reclamation with Types ESOP 2019
- Safe and efficient hybrid memory management for Java ISMM 2015
- Safe open-nested transactions through ownership PPoPP 2009