A Practical Type System and Language for Reference Immutability (2004)
Cached
Download Links
| Venue: | In OOPSLA |
| Citations: | 36 - 10 self |
BibTeX
@INPROCEEDINGS{Birka04apractical,
author = {Adrian Birka and Michael D. Ernst},
title = {A Practical Type System and Language for Reference Immutability},
booktitle = {In OOPSLA},
year = {2004},
pages = {35--49},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refers cannot be modified using that reference. The abstract state is (part of) the transitively reachable state: that is, the state of the object and all state reachable from it by following references. The type system permits explicitly excluding fields or objects from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. If the language is extended with immutability downcasts, then run-time checks enforce the reference immutability constraints.
