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
next prev parent 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