c-dbc: Design by Contract and exceptions for the C language
(mos's homepage)


This project provides a library that augments programming language C with DbC and a disciplined exception mechanism.

Latest version: 0.91


(mos at ua.pt) University of Aveiro, DETI/IEETA