A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Ownership and immutability in generic Java
2010
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and references). Programmers are prone to design errors, such as representation exposure or violation of immutability contracts. This paper presents Ownership Immutability Generic Java (OIGJ), a backward-compatible purely-static language extension supporting ownership and immutability. We formally
doi:10.1145/1869459.1869509
dblp:conf/oopsla/ZibinPLAE10
fatcat:xtth7xgisjho3fqickzabmhf6q