开发者 contractpp.sf.net

C++编程（也称为合同设计）。支持所有埃菲尔功能：可选合同汇编;对故障的可自定义操作;分包;旧值和结果值;块不变，循环变体。http://contractpp.sourceforge.net