Ownership Domains: Separating Aliasing Policy from Mechanism
No abstract available.
Related papers
- Reachability types: tracking aliasing and separation in higher-order functional programs OOPSLA 2021
- Inferring ownership domains from refinements GPCE 2018
- Separating ownership topology and encapsulation with generic universe types TOPLAS 2011
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- Ownership, filters and crossing handlers: flexible ownership in dynamic languages DLS 2012
- Tribal ownership OOPSLA 2010
- Separation and information hiding TOPLAS 2009
- Separation and information hiding POPL 2004