本
No Image
- レガシーコード改善ガイド : 保守開発のためのリファクタリング
- Feathers, Michael C,平澤, 章, 1961-,越智, 典子,稲葉, 信之,ウルシステムズ株式会社 著
- 翔泳社
読了。
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"