Ownership Types for Object Synchronisation
No abstract available.
Related papers
- Reference Capabilities for Concurrency Control ECOOP 2016
- Simple Ownership Types for Object Containment ECOOP 2001
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- Ownership transfer in universe types OOPSLA 2007
- Distributed Garbage Collection of Active Objects with No Global Synchronisation ISMM 1992
- Ownership types for object encapsulation POPL 2003
- Generic ownership for generic Java OOPSLA 2006
- Separating ownership topology and encapsulation with generic universe types TOPLAS 2011