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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,463c5796782db6d8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-04-12 16:09:43 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news-out.cwix.com!newsfeed.cwix.com!newsfeed!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: [Spark] Arrays of Strings
Date: 12 Apr 2003 19:09:42 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccd6jrl3d5.fsf@shell01.TheWorld.com>
References: <slrnb95ehu.ob.lutz@taranis.iks-jena.de>
 <1ec946d1.0304090942.3106b4e4@posting.google.com>
 <slrnb9aagi.p2.lutz@taranis.iks-jena.de>
 <1ec946d1.0304100609.52b0fac0@posting.google.com>
 <1049986095.779228@master.nyc.kbcfp.com>
 <3e966fc9$1@baen1673807.greenlnk.net> <b76b3a$slo$1@slb9.atl.mindspring.net>
 <54F8CD091AF44543.C62D3F94D086FE15.8E3F43FBA1FD34CE@lp.airnews.net>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1050188982 29495 199.172.62.241 (12 Apr 2003 23:09:42
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sat, 12 Apr 2003 23:09:42 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: archiver1.google.com comp.lang.ada:36107
Date: 2003-04-12T19:09:42-04:00
List-Id: <comp.lang.ada>

"John R. Strohm" <strohm@airmail.net> writes:

> "Testing cannot be used to show the absence of errors, only their
> resence."  --Edsger W. Dijkstra
 ^
 p

True, but this fact does not imply that so-called "proof of correctness"
can show the absence of errors.  In fact, it cannot.

- Bob