From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,587e0e0a16d65b10
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!nx02.iad.newshosting.com!newshosting.com!news2.euro.net!newsfeed.freenet.de!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 25 Feb 2009 20:19:08 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.19 (Macintosh/20081209)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
References: <l6k0og.o0o.ln@hunter.axlog.fr>
 <1tw8gryqdolal$.1osqedj9x821c.dlg@40tude.net>
  <5c44eaae-631d-46d2-8384-86af79d5e048@n20g2000vba.googlegroups.com>
  <944a1924-0fa7-487f-a94d-084a2be1b231@v31g2000vbb.googlegroups.com>
  <WCZol.586329$yE1.342435@attbi_s21>
 <b26ae712-a4e9-49d1-9869-aa29626fb5e5@t13g2000yqc.googlegroups.com>
  <9f2553d3-66f5-4708-a237-bfef1d8404f4@v42g2000yqj.googlegroups.com>
  <C5CA3442.10CF05%yaldnif.w@blueyonder.co.uk>
 <ygeab8bvt3s.fsf@sparre-andersen.dk>
 <4013d6a4-f4f4-4d6e-92bd-161687608db9@w9g2000yqa.googlegroups.com>
 <C5CB1DE7.10D05A%yaldnif.w@blueyonder.co.uk>
 <49a58a60$0$30235$9b4e6d93@newsspool1.arcor-online.net>
 <C5CB4445.10D0BE%yaldnif.w@blueyonder.co.uk>
In-Reply-To: <C5CB4445.10D0BE%yaldnif.w@blueyonder.co.uk>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <49a599ac$0$30225$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 25 Feb 2009 20:19:08 CET
NNTP-Posting-Host: 47d0cd54.newsspool1.arcor-online.net
X-Trace: 
 DXC=0A_m3BHinQ:]E=H1Q9`787ic==]BZ:af>4Fo<]lROoR1^YC2XCjHcb9T@UTC2<>ER5;9OJDO8_SK6NSZ1n^B98i:5VWWhTdKT==
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:3798
Date: 2009-02-25T20:19:08+01:00
List-Id: <comp.lang.ada>

(see below) schrieb:

>> All the more we could profit from pre/post assertions
>> and invariant type constraints specified by the programmer.
>> Perfectly clear, checkable, and international.
>>
>> Doesn't someone have the ressouces to help Randy Brukardt
>> continue his work on these?  Please! :-) :-) :-)
> 
> Could I encourage Randy to say something about this?
> I had not heard of this work before, and it sounds very valuable.
> 

There is a longer thread entitled "contracts in Ada" on the
Ada Comments mailing list, started by Robert Duff discussing
"AI95-00288 (and perhaps AI95-00375)" on Jan 10th 2009.
This is archived, there is a description of a procedure
for searching the archives in
http://www.adaic.org/standards/articles/comment.html
Haven't tried this myself, though.