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"

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

実装とか

コメント追加

投稿者 kw : 2009/07/23 12:43:00 JST #

物理と数学の不思議な関係、Malcolm E. Lines 著、青木薫 訳、三田出版会

読了。

コメント追加

投稿者 kw : 2009/07/23 11:52:00 JST #