Tarafından Programlar contractpp.sf.net

C++ Sözleşme Programlama (aka Design by Contract). Desteklenen tüm Eyfel özellikleri: İsteğe bağlı sözleşme derlemesi; Hata da özelleştirilebilir eylem; Taşeronluk; Eski ve sonuç değerleri; Blok değişmezleri, döngü varyantlar