Simple Ownership Types for Object Containment
No abstract available.
Related papers
- Ownership types for safe programming: preventing data races and deadlocks OOPSLA 2002
- Protecting representation with effect encapsulation POPL 2006
- Ownership Types for Object Synchronisation APLAS 2012
- Dynamic Region Ownership for Concurrency Safety PLDI 2025
- Component-Oriented Programming with Sharing: Containment is Not Ownership GPCE 2005
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- Ownership transfer in universe types OOPSLA 2007
- Ownership types for object encapsulation POPL 2003