Programma's van contractpp.sf.net

C++ Contract Programming (ook bekend als Design by Contract). Alle Ondersteunde Eiffel-functies: Optionele contractcompilatie; Aanpasbare actie bij falen; Onderaanneming; Oude en resultaatwaarden; Blok invarianten, loop varia