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"

http://doi.acm.org/10.1145/583810.583833

コメント追加

投稿者 kw : 2011/05/02 12:17:00 JST #