昭和天皇(下)、保阪正康 著、中公文庫

読了。

コメント追加

投稿者 kw : 2011/05/28 15:06:00 JST #

昭和天皇(上)、保阪正康 著、中公文庫

読了。

コメント追加

投稿者 kw : 2011/05/24 21:21:00 JST #

読了。

コメント追加

投稿者 kw : 2011/05/21 14:51:00 JST #

読了。

コメント追加

投稿者 kw : 2011/05/16 20:12:00 JST #

バチカン、秦野るり子 著、中公新書ラクレ

読了。

コメント追加

投稿者 kw : 2011/05/10 20:48:00 JST #

読了。

コメント追加

投稿者 kw : 2011/05/05 16:53:00 JST #

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 #