Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
Abstract elided by the publisher.
Related papers
- Safe Transferable Regions ECOOP 2018
- Ownership types for safe region-based memory management in real-time Java PLDI 2003
- Modular Mixin-Based Inheritance for Application Frameworks OOPSLA 2001
- Region inference for an object-oriented language PLDI 2004
- Reference Capabilities for Flexible Memory Management OOPSLA 2023
- Concurrency-aware object-oriented programming with roles OOPSLA 2018
- Descend: A Safe GPU Systems Programming Language PLDI 2024
- Region-Based Memory Management in Cyclone PLDI 2002