Allocation Regions & Implementation Contracts
No abstract available.
Related papers
- Practical Verification of Smart Contracts using Memory Splitting OOPSLA 2024
- Techniques for Region-Based Register Allocation CGO 2009
- Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions POPL 1994
- Safe and efficient hybrid memory management for Java ISMM 2015
- Reconsidering custom memory allocation OOPSLA 2002
- Spegion: Implicit and Non-Lexical Regions with Sized Allocations ECOOP 2025
- Memory Management with Explicit Regions PLDI 1998
- Rapid: Region-Based Pointer Disambiguation OOPSLA 2023