Fulltext present in this item

Thumbnail
Fulltext: 34651.pdf
Format: PDF
Description: preprint version
Title: Immutable Objects for a Java-like Language
Author(s): Haack, C. ; Poll, E. ; Schäfer, J.; Schubert, A.
Publication year: 2007
Publisher: onbekend : Institute for Computing and Information Sciences
Number of Pages: 15 p.
Series: ICIS-R07009
Publication type: External research report

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/34651   https://hdl.handle.net/2066/34651

Display more details
Subject: Security of Systems
Organization: Security of Systems
Abstract:
We extend a Java-like language with immutability specifications and a static type system for verifying immutability. A class modifier immutable specifies 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 mutate 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.

This item appears in the following Collection(s)

Browse

Statistics