On Ownership and Accessibility
No abstract available.
Related papers
- Access control to reflection with object ownership DLS 2015
- Ownership, filters and crossing handlers: flexible ownership in dynamic languages DLS 2012
- Relaxed separation logic: a program logic for C11 concurrency OOPSLA 2013
- Ownership, encapsulation and the disjointness of type and effect OOPSLA 2002
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- Permission-based ownership: encapsulating state in higher-order typed languages PLDI 2005
- Ownership types for object encapsulation POPL 2003
- Modular information flow through ownership PLDI 2022