Advanced Search

Javari : adding reference immutability to Java

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.advisor Michael D. Ernst. en_US Tschantz, Matthew S en_US
dc.contributor.other Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. en_US 2008-09-03T14:38:36Z 2008-09-03T14:38:36Z 2006 en_US 2006 en_US
dc.description Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006. en_US
dc.description Includes bibliographical references (leaves 129-133). en_US
dc.description.abstract This paper describes a programming language, Javari, 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 from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. The type system is distinguishes the notions of assignability and mutability; integrates with Java's generic types and with multi-dimensional arrays; provides a mutability polymorphism approach to avoiding code duplication; and has type-safe support for reflection and serialization. This paper describes a core calculus including formal type rules for the language. Additionally, this paper describes a type inference algorithm that can be used convert existing Java programs to Javari. Experimental results from a prototype implementation of the algorithm are presented. en_US
dc.description.statementofresponsibility by Matthew S. Tschantz. en_US
dc.format.extent 133 leaves en_US
dc.language.iso eng en_US
dc.publisher Massachusetts Institute of Technology en_US
dc.rights M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. en_US
dc.rights.uri en_US
dc.subject Electrical Engineering and Computer Science. en_US
dc.title Javari : adding reference immutability to Java en_US
dc.title.alternative Adding reference immutability to Java en_US
dc.type Thesis en_US M.Eng. en_US
dc.contributor.department Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. en_US
dc.identifier.oclc 226373843 en_US

Files in this item

Name Size Format Description
226373843.pdf 5.942Mb PDF Preview, non-printable (open to all)
226373843-MIT.pdf 5.942Mb PDF Full printable version (MIT only)

This item appears in the following Collection(s)

Show simple item record