Ownership Types for Object Encapsulation Export

@inproceedings{citeulike:5800897, abstract = {object encapsulation and enable local reasoning about program correctness in object-oriented languages. However, a type system that enforces strict object encapsulation is too constraining: it does not allow e\#cient implementation of important constructs like iterators. This paper argues that the right way to solve the problem is to allow objects of classes defined in the same module to have privileged access to each other\&\#039;s representations; we show how to do this for inner classes. This approach allows programmers to express constructs like iterators and yet supports local reasoning about the correctness of the classes, because a class and its inner classes together can be reasoned about as a module. The paper also sketches how we use our variant of ownership types to enable e\#cient software upgrades in persistent object stores.}, author = {Boyapati, Chandrasekhar and Liskov, Barbara and Shrira, Liuba}, booktitle = {In Principles of Programming Languages (POPL}, citeulike-article-id = {5800897}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1440}, keywords = {compilers, java, oop, ownership-types, programming-language-design}, pages = {213--223}, posted-at = {2009-09-18 02:58:08}, priority = {0}, title = {Ownership Types for Object Encapsulation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1440}, year = {2003} }

TY - CONF ID - citeulike:5800897 L3 - citeulike-article-id:5800897 N2 - object encapsulation and enable local reasoning about program correctness in object-oriented languages. However, a type system that enforces strict object encapsulation is too constraining: it does not allow e#cient implementation of important constructs like iterators. This paper argues that the right way to solve the problem is to allow objects of classes defined in the same module to have privileged access to each other's representations; we show how to do this for inner classes. This approach allows programmers to express constructs like iterators and yet supports local reasoning about the correctness of the classes, because a class and its inner classes together can be reasoned about as a module. The paper also sketches how we use our variant of ownership types to enable e#cient software upgrades in persistent object stores. EP - 223 TI - Ownership Types for Object Encapsulation T2 - In Principles of Programming Languages (POPL SP - 213 KW - compilers KW - java KW - oop KW - ownership-types KW - programming-language-design AU - Boyapati, Chandrasekhar AU - Liskov, Barbara AU - Shrira, Liuba PY - 2003/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1440 ER -