From: volkert@nivoba.de (Volkert)
Subject: Re: Ada and Design By Contract
Date: 25 Mar 2003 00:04:44 -0800
Date: 2003-03-25T08:04:45+00:00 [thread overview]
Message-ID: <d37844cb.0303250004.41cdf9f0@posting.google.com> (raw)
In-Reply-To: slrnb7upju.al8.lutz@belenus.iks-jena.de
> So you are looking for Anna. The sites are off since years, but the Internet
> archive did have it two years ago.
Anna is for Ada 83. As far is i remember does it
not support a concept like PRE-Conditions. Has anybody
ever used Anna?
Volkert
next prev parent reply other threads:[~2003-03-25 8:04 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-03-23 18:55 Ada and Design By Contract Volkert
2003-03-24 9:41 ` Lutz Donnerhacke
2003-03-24 10:56 ` Peter Amey
2003-03-24 17:40 ` Volkert
2003-03-24 20:11 ` Lutz Donnerhacke
2003-03-25 8:04 ` Volkert [this message]
2003-03-25 8:25 ` Peter Amey
2003-03-25 9:55 ` Colin Paul Gloster
2003-03-25 10:09 ` Peter Amey
2003-03-26 9:00 ` Volkert
2003-03-26 9:38 ` Peter Amey
2003-03-26 19:00 ` Randy Brukardt
2003-03-26 19:32 ` Jeffrey Carter
2003-03-27 6:59 ` Volkert
2003-03-26 9:00 ` Volkert
2003-03-25 10:44 `
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox