Atur cara mengikut contractpp.sf.net

Pengaturcaraan Kontrak C++ (reka bentuk aka oleh Kontrak). Semua ciri Eiffel disokong: Penyusunan kontrak pilihan; Tindakan yang boleh disesuaikan atas kegagalan; Subkontrak; Nilai lama dan hasil; Sekat invariants, buang vari