[blog]
[ML]
[todo]
[CVS]
[bug]
[apache log]
[swiki log]
[statistics]
[map]
[man]
[info]
[アンテナ]
不変表明
invariant assertion
関係が不変であることを表明すること。
（そのままですが)
この思想は、契約によるプログラミングで、Eiffelに生きているし、
assertは、JDK1.4でもようやくサポートされ、表明しやすくなったわけである。
関連サイト
Links to this Page