Spec#

microsoftは、C#の発展として、Cωのほかに、Spec#というものも研究していて、こちらでは、Design by Contractを言語に取り込もうとしているようです。
http://www.divakk.co.jp/blog/aoyagi/archive/2004/11/17/631.aspx
http://www.divakk.co.jp/blog/aoyagi/archive/2004/11/18/633.aspx
知らなかったのですが、C#って、Delphiを作った人が設計している言語なんですね。
うーむ。microsoft面白いかも。