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: a07f3367d7,c9d5fc258548b22a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!f2g2000yqf.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
Date: Tue, 8 Feb 2011 02:08:34 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <41aaf7bd-8cdc-4538-8158-54368d21882e@f2g2000yqf.googlegroups.com>
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <iimmvm$tsp$1@news.eternal-september.org> <8r86vgFc3uU1@mid.individual.net>
 <iimrem$udn$1@news.eternal-september.org>
 <19fh1chm74f9.11cws0j5bckze.dlg@40tude.net>
 <fa33fca1-c95b-4558-8a4c-7b3276366ffc@m13g2000yqb.googlegroups.com>
 <4d4ff70e$0$6886$9b4e6d93@newsspool2.arcor-online.net>
 <737a6396-72bd-4a1e-8895-7d50f287960e@d28g2000yqc.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>
 <4d5110ea$0$7669$9b4e6d93@newsspool1.arcor-online.net>
 <1fb3ce45-ffcc-4c1c-8f76-d151975c8425@x1g2000yqb.googlegroups.com>
 <4d511500$0$7665$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1297159714 21803 127.0.0.1 (8 Feb 2011 10:08:34
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 8 Feb 2011 10:08:34 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f2g2000yqf.googlegroups.com; posting-host=153.98.68.197;
 posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.6)
 Gecko/2009012111 Red Hat/3.0.6-1.el5 Firefox/3.0.6,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:17942
Date: 2011-02-08T02:08:34-08:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote on comp.lang.ada:
> On 2/8/11 10:58 AM, Ludovic Brenta wrote:
>>> (c) by single case logic, Ada's type system has not prevented
>>> deaths in Ariane 5 anyway.
>
>> Huh?
>
> You don't even know this?

The problem was the conscious decision not to re-test the Ariane 4
software against Ariane 5 due to the incorrect assumption that the
accelerations involved had not changed.  It had everything to do with
management and nothing with software engineering (in fact the software
engineers were denied the right to test the software against "secret"
Ariane 5 predicted trajectory data).

There were no deaths involved.

So: huh?

--
Ludovic Brenta.