On Oct 29, 2004, at 8:13 AM, Robert Klemme wrote:

>
> "Charles Mills" <cmills / freeshell.org> schrieb im Newsbeitrag
> news:E7BDC4FA-29B8-11D9-9E2C-000A95A27A10 / freeshell.org...
>> I am pleased to announce the first public release of DBC for C - a C
>> preprocessor that generates contract testing code and documentation
>> from DBC tags embedded in C comments.  Here is an example:
>
>> DBC for C supports preconditions, postconditions, invariants and some
>> iterating operators (forall, exists).  Also DBC for C can generate
>> Doxygen documentation from contracts.  For more information take a 
>> look
>> at this article:
>
>> PS.  Feed back is welcome.
>
> Sounds like a great piece of work!
>
> I just wonder: are you really trying to make C safe?  Sounds like an
> oxymoron... :-)

No and certainly DBC for C is not a one-size fits all solution.  But, 
it is very helpful if your doing OO style C programming.

Best,
Charlie