comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam@spam.com>
Subject: Re: SPARK at Wikipedia
Date: Tue, 21 Feb 2006 05:03:36 GMT
Date: 2006-02-21T05:03:36+00:00	[thread overview]
Message-ID: <IaxKf.3907$JR6.1633@newsread3.news.pas.earthlink.net> (raw)
In-Reply-To: <1485989.F37Gpsk2YC@linux1.krischik.com>

Martin Krischik wrote:
> 
> There is some discussion on SPARK going on on Wikipedia and it's far to
> theoretical for me:
> 
> http://en.wikipedia.org/wiki/Talk:SPARK_programming_language
> 
> Can anybody here answer the questions at hand?

I might be able to, but I know Rod Chapman and Peter Amey read c.l.a, so it's 
probably best to let them deal with this.

However, "erroneous execution" is defined in ARM 1.1.5:

     "Erroneous execution.

       "In addition to bounded errors, the language rules define certain kinds 
of errors as leading to erroneous execution. Like bounded errors, the 
implementation need not detect such errors either prior to or during run time. 
Unlike bounded errors, there is no language-specified bound on the possible 
effect of erroneous execution; the effect is in general not predictable."

An "erroneous program" is not defined, but is generally understood to mean a 
program that leads to erroneous execution.

-- 
Jeff Carter
"Alms for an ex-leper!"
Monty Python's Life of Brian
75



  reply	other threads:[~2006-02-21  5:03 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-02-20 19:05 SPARK at Wikipedia Martin Krischik
2006-02-21  5:03 ` Jeffrey R. Carter [this message]
2006-02-21  9:41   ` Rod Chapman
2006-02-21 18:52     ` Martin Krischik
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox