>>70-72
確かにオブジェクト指向ネタで公理的意味論は何の役にも立ちません。
しかし契約による設計は静的型付けと同じようにバグの発見に役立ちます。

とある契約の備忘目録。契約による設計(Design by Contract)で信頼性の高いソフトウェアを構築しよう。
http://d.hatena.ne.jp/zecl/20100131/p1