A practical type system and language for reference immutability

  title={A practical type system and language for reference immutability},
  author={Adrian Birka and Michael D. Ernst},
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… CONTINUE READING
Highly Cited
This paper has 79 citations. REVIEW CITATIONS

1 Figure or Table



Citations per Year

79 Citations

Semantic Scholar estimates that this publication has 79 citations based on the available data.

See our FAQ for additional information.