From: Robert Klemme <bob.news@...>
Date: 2004-10-30T00:13:58+09:00
Subject: Re: [ANN] Design by Contract for C


"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... :-)

Kind regards

    robert