Ownership types support information hiding by providing statically enforceable object encapsulation based on an ownership tree. However ownership type systems impose fixed ownership and an inflexible access policy. This paper proposes a novel type system which generalizes ownership types by separating object accessibility and reference capability. With the ability to hide owners, it provides a more flexible and useful model of object ownership. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Lu, Y., & Potter, J. (2006). On ownership and accessibility. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4067 LNCS, pp. 99–123). Springer Verlag. https://doi.org/10.1007/11785477_6
Mendeley helps you to discover research relevant for your work.