Object and Reference Immutability using Java Generics
object immutability と reference immutability を Java の generics を使って実現する方法の提案。不変性を表すために Immutable, Mutable, ReadOnly の 3 つの要素を用意し、一種のクラスのように扱う。正しいプログラムのためのルールを定義し、型システムとして定式化。mutable reference は mutable object を指すことと immutable reference は immutalbe object を指すことに対して健全であることを証明。
author="Yoav Zibin and Alex Potanin and Mahmood Ali and Shay Artzi and Adam Kie{\.z}un and Michael D. Ernst",
title="{Object and Reference Immutability using Java Generics}",
booktitle="ESEC/FSE 2007",
publisher="ACM Press",
pages="75--84",
year="2007"