* SPARK at Wikipedia
@ 2006-02-20 19:05 Martin Krischik
2006-02-21 5:03 ` Jeffrey R. Carter
0 siblings, 1 reply; 4+ messages in thread
From: Martin Krischik @ 2006-02-20 19:05 UTC (permalink / raw)
Hello,
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?
Martin
--
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: SPARK at Wikipedia
2006-02-20 19:05 SPARK at Wikipedia Martin Krischik
@ 2006-02-21 5:03 ` Jeffrey R. Carter
2006-02-21 9:41 ` Rod Chapman
0 siblings, 1 reply; 4+ messages in thread
From: Jeffrey R. Carter @ 2006-02-21 5:03 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2006-02-21 18:52 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-02-20 19:05 SPARK at Wikipedia Martin Krischik
2006-02-21 5:03 ` Jeffrey R. Carter
2006-02-21 9:41 ` Rod Chapman
2006-02-21 18:52 ` Martin Krischik
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox