Immutable objects for a Java-like language

DMCA

Immutable objects for a Java-like language (2007)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by C. Haack , E. Poll , A. Schubert

Citations:

18 - 1 self

BibTeX

@TECHREPORT{Haack07immutableobjects,
    author = {C. Haack and E. Poll and A. Schubert},
    title = {Immutable objects for a Java-like language},
    institution = {},
    year = {2007}
}

OpenURL

Abstract

Abstract. We extend a Java-like language with immutability specifications and a static type system for verifying immutability. A class modifier immutable spec-ifies that all class instances are immutable objects. Ownership types specify the depth of object states and enforce encapsulation of representation objects. The type system guarantees that the state of immutable objects does not visibly mu-tate during a program run. Provided immutability-annotated classes and methods are final, this is true even if immutable classes are composed with untrusted classes that follow Java’s type system, but not our immutability type system. 1

Keyphrases

immutable object java-like language immutability type system immutability-annotated class program run representation object untrusted class immutable class object state static type system immutable spec-ifies java type system type system class instance immutability specification enforce encapsulation

DMCA