Component-Oriented Programming with Sharing: Containment is Not Ownership
No abstract available.
Related papers
- Dynamic Region Ownership for Concurrency Safety PLDI 2025
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- Simple Ownership Types for Object Containment ECOOP 2001
- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs CC 2010
- Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism OOPSLA 1996
- Protecting representation with effect encapsulation POPL 2006
- Reachability types: tracking aliasing and separation in higher-order functional programs OOPSLA 2021
- Cross-language, type-safe, and transparent object sharing for co-located managed runtimes OOPSLA 2010