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,c9d5fc258548b22a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
Date: Wed, 9 Feb 2011 21:08:38 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <iivkrp$qvl$1@munin.nbi.dk>
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <4d5008a5$0$6879$9b4e6d93@newsspool2.arcor-online.net>
 <eda00084-fcc3-416c-bd3e-8b9e9c1a4b40@o13g2000yql.googlegroups.com>
 <4d5031fe$0$6765$9b4e6d93@newsspool3.arcor-online.net>
 <1f229967-d3cf-42b6-8087-c97ee08652f3@i40g2000yqh.googlegroups.com>
 <4d51169e$0$7657$9b4e6d93@newsspool1.arcor-online.net>
 <db60098c-2569-4efb-aa81-253ba53686b4@y26g2000yqd.googlegroups.com>
 <iis37l$t09$1@tornado.tornevall.net>
 <4d51905c$0$19486$882e7ee2@usenet-news.net>
 <36212a7b-deab-45d9-ac45-aa29cd90c7bc@o18g2000prh.googlegroups.com>
 <4d51a7bb$0$19486$882e7ee2@usenet-news.net> <iisll6$9th$1@munin.nbi.dk>
 <4d52b489$0$19486$882e7ee2@usenet-news.net>
 <9a8njlwvey1p.1a96yvvgdf6yu.dlg@40tude.net>
 <4d52c5e5$0$19486$882e7ee2@usenet-news.net>
 <ewxe8m5g7wz3$.k115u2qzl8ry.dlg@40tude.net>
 <4d52d7d9$0$18057$882e7ee2@usenet-news.net>
 <1jf3s95v7yrkk.1m7rl9zt042py$.dlg@40tude.net>
 <4d52e704$0$18057$882e7ee2@usenet-news.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1297307321 27637 69.95.181.76 (10 Feb 2011 03:08:41 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 10 Feb 2011 03:08:41 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Xref: g2news2.google.com comp.lang.ada:18175
Date: 2011-02-09T21:08:38-06:00
List-Id: <comp.lang.ada>

"Hyman Rosen" <hyrosen@mail.com> wrote in message 
news:4d52e704$0$18057$882e7ee2@usenet-news.net...
> On 2/9/2011 1:36 PM, Dmitry A. Kazakov wrote:
...
>> There is a certification procedure that includes conformity tests.
>
> So it is your claim that a piece of software which passes
> the certification procedure and the conformity tests is a
> correct Ada compiler? Suppose I coded an Ada compiler which,
> each time it compiled a program, picked an arbitrary even
> number, and if it determined that the number was not the
> sum of two primes then deliberately translated that program
> incorrectly. Is that a correct Ada compiler?

No, because there would be no chance that you could pass the conformity 
suite (>10000 compilations, all of which have to be right).

You should have picked a better example:
Imagine that there is an Ada compiler that detects the name of the unit it 
is compiling and compiles that unit differently than it normally would, say 
by suppressing certain overflow checks. Is that a correct Ada compiler?

And then I could answer: Yes! And I have the validation certificates to 
prove it! :-)

                                  Randy.