Immutability Specification and its Applications
Java に immutability を入れる仕組みを考えました、という論文。immutability を lifetime, reachability, context の 3 つの観点から考察している点は有用。プログラム中に記述する 5 つのアノテーションを定義している。古い論文なので Javadoc アノテーションになっている。実装の詳細については書かれていない。最適化への応用について特に触れられていて、多少の速度向上が見られたらしい。
author="Igor Pechtchanski and Vivek Sarkar",
title="{Immutability Specification and its Applications}",
booktitle="Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande",
publisher="ACM",
pages="202--211",
year="2002"