State Based Ownership, Reentrance, and Encapsulation
No abstract available.
Related papers
- Permission-based ownership: encapsulating state in higher-order typed languages PLDI 2005
- Separating ownership topology and encapsulation with generic universe types TOPLAS 2011
- Ownership, encapsulation and the disjointness of type and effect OOPSLA 2002
- Minimal Ownership for Active Objects APLAS 2008
- Ownership types for object encapsulation POPL 2003
- Inferring aliasing and encapsulation properties for java OOPSLA 2007
- Access control to reflection with object ownership DLS 2015
- Dynamic ownership in a dynamic language DLS 2007