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
c-dbc-v0.91.zip
[
examples
] [
doc
]
c-dbc-v0.9.zip
[
examples
] [
doc
]
(mos at ua.pt) University of Aveiro, DETI/IEETA