Protecting representation with effect encapsulation
- 11 January 2006
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (1) , 359-371
- https://doi.org/10.1145/1111037.1111069
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Permission-based ownershipPublished by Association for Computing Machinery (ACM) ,2005
- Connecting effects and uniqueness with adoptionPublished by Association for Computing Machinery (ACM) ,2005
- A Type System for Reachability and AcyclicityPublished by Springer Nature ,2005
- A practical type system and language for reference immutabilityPublished by Association for Computing Machinery (ACM) ,2004
- Object Invariants in Dynamic ContextsPublished by Springer Nature ,2004
- Ownership Domains: Separating Aliasing Policy from MechanismPublished by Springer Nature ,2004
- External Uniqueness Is Unique EnoughPublished by Springer Nature ,2003
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Representation independence, confinement and access control [extended abstract]Published by Association for Computing Machinery (ACM) ,2002
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002