Re: Ada and Design By Contract

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Volkert wrote:
>> To keept this thread under some sort of control, I suggest we agree a 
>> clear distinction between contracts enforced at run time (by the 
>> evaluation of checks and, typically, the raising of exceptions if the 
>> contract is vilated) and contracts enforced statically, prior to 
>> execuation (typically using proof technology).
> I know Spark and i like it, but my question is more in the direction
> of Eiffel-like Assertion mechanisms (runtime monitoring/checking).

So you are looking for Anna. The sites are off since years, but the Internet
archive did have it two years ago.