From: "martin.m.dowie" <martin.m.dowie@ntlworld.com>
Subject: Re: Computation of exception handling
Date: Sat, 27 Jan 2001 18:44:06 +0000
Date: 2001-01-27T18:44:06+00:00 [thread overview]
Message-ID: <3A7316F6.87EDF50B@ntlworld.com> (raw)
In-Reply-To: 94s4ov$qfo$1@nnrp1.deja.com
i've yet to come across any definitions of a safe subset of Ada that
don't exclude exceptions - do you know of any, or are they normally
excluded because it makes life (much) easier from a proof/certification
stand point?
Robert Dewar wrote:
> This is only true if the definition of 'safe' arbitrarily
> says that exceptions are not allowed, in which case it is
> simply restating this definition.
>
> There is no technical principle that makes exceptions
> inherently unsafe in any reasonable technical meaning
> of the term.
next prev parent reply other threads:[~2001-01-27 18:44 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <94jr16$j2q$1@nnrp1.deja.com>
[not found] ` <94ki0n$j4d$1@usenet.rational.com>
[not found] ` <gauthier-2401011437350001@193.50.185.13>
[not found] ` <3a6ef4d9$1@pull.gecm.com>
[not found] ` <gauthier-2601011508270001@193.50.185.13>
[not found] ` <3a7188ec$1@pull.gecm.com>
2001-01-26 20:12 ` Computation of exception handling Florian Weimer
[not found] ` <94s4ov$qfo$1@nnrp1.deja.com>
2001-01-27 18:44 ` martin.m.dowie [this message]
2001-01-29 9:15 ` Peter Amey
2001-01-30 6:33 ` Robert Dewar
2001-01-30 9:15 ` Martin Dowie
2001-02-05 9:02 ` Peter Amey
2001-02-05 12:19 ` Martin Dowie
2001-01-28 7:35 ` Simon Wright
[not found] ` <94mgqh$suo$1@nnrp1.deja.com>
2001-02-02 22:17 ` Mark Lundquist
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox