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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,af0c6ea85f3ed92d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.231.202 with SMTP id ti10mr10415099pbc.5.1329606221486;
        Sat, 18 Feb 2012 15:03:41 -0800 (PST)
Path: 
 wr5ni41348pbc.0!nntp.google.com!news2.google.com!goblin3!goblin2!goblin.stu.neva.ru!aioe.org!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: BrianG <me@null.email>
Newsgroups: comp.lang.ada
Subject: Re: Arbitrary Sandbox
Date: Sat, 18 Feb 2012 18:03:38 -0500
Organization: A noiseless patient Spider
Message-ID: <jhpaoc$iu$1@dont-email.me>
References: <bfeb9869-9323-4ad5-bdf8-af20593734ef@q8g2000pbb.googlegroups.com>
 <2aaee0a4-e820-4a75-bbaf-d9d09c366d2c@f5g2000yqm.googlegroups.com>
 <4da4bf75-e6c9-4c17-9072-ab6f533ed93f@vd8g2000pbc.googlegroups.com>
 <jh7739$9os$1@munin.nbi.dk>
 <203d63cf-42a9-49ef-82cd-943d77b5e438@c21g2000yqi.googlegroups.com>
 <jhh6qr$9av$1@munin.nbi.dk>
 <e10bf38c-3c48-4fa4-bb0a-e61211aee90d@f30g2000yqh.googlegroups.com>
 <193cr8xol0ysi.14p4cp2yxnb0r$.dlg@40tude.net>
 <op.v9veuwe6ule2fv@douda-yannick>
 <1jleu301thnd3$.s23priwn3ajb$.dlg@40tude.net>
 <wccobswc6ob.fsf@shell01.TheWorld.com> <9qac7gFk0nU1@mid.individual.net>
Mime-Version: 1.0
Injection-Date: Sat, 18 Feb 2012 23:03:40 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="TFSzwg9zEWICKE4g7mPu9w";
	logging-data="606"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19/0sgZdBphbgHgQE6KZVbS"
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.2.24) Gecko/20111108 Thunderbird/3.1.16
In-Reply-To: <9qac7gFk0nU1@mid.individual.net>
Cancel-Lock: sha1:eG5UnF9RdjFQvhRyG3hvpYg8Pek=
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-02-18T18:03:38-05:00
List-Id: <comp.lang.ada>

On 02/18/2012 02:24 PM, Niklas Holsti wrote:
> But I wish hardware could detect erroneous executions of Ada programs.
>
That depends on what meaning you give to "erroneous execution".
Use the LRM definition, that would probably be impossible - unless you 
had LRM hardware.
Use the 'common' meaning (which I think you mean), it might be more 
possible (but not likely to happen).

-- 
---
BrianG
000
@[Google's email domain]
.com