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,703c4f68db81387d
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!wns13feed!worldnet.att.net!12.120.4.37!attcg2!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: [OT] Re: Teaching new tricks to an old dog (C++ -->Ada)
Followup-To: comp.lang.ada
Date: 6 Mar 2005 19:56:02 -0600
Organization: LJK Software
Message-ID: <VcwuibaFaGGR@eisner.encompasserve.org>
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <y8lWd.103136$Vf.3969714@news000.worldonline.dk>
 <422b6c80.1141685927@news.xs4all.nl>
 <l4MWd.103362$Vf.3977593@news000.worldonline.dk>
 <d0g3lp$kuc$1$8302bc10@news.demon.co.uk>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1110160552 9817 192.135.80.34 (7 Mar 2005
 01:55:52 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Mon, 7 Mar 2005 01:55:52 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:8789
Date: 2005-03-06T19:56:02-06:00
List-Id: <comp.lang.ada>

In article <d0g3lp$kuc$1$8302bc10@news.demon.co.uk>, "Paul E. Bennett" <peb@amleth.demon.co.uk> writes:
> Peter Koch Larsen wrote:

>> Which is why other means are needed for quality software. Rigorous testing
>> and code reviews come to mind.
> 
> Something that some people here seem not able to accept because they 
> believe in the absolute protectiveness of their compiler.

What evidence do you have for that assumption ?

Certainly the project on which I lobbied hard for formal inspection
was authorized/budgeted was written 50% in Ada.   The Ada half was
brand new code, but each half received formal inspection.