Re: gnat: time-slicing

[Keith Thompson <kst@cts.com>]

Robert A Duff <bobduff@shell01.TheWorld.com> writes:
[...]
> Note that "erroneous" is an Ada technical term.  It doesn't mean exactly
> the same thing as it does in plain English (unfortunately).  Look it up
> in the RM, if you like.

That's one thing the C standard got right and the Ada standard got
wrong.  C's term for the same thing is "undefined behavior", which
means pretty much what is says in plain English; the standard defines
it more precisely, but the definition doesn't conflict with common
usage.  Ada's term "erroneous" is misleading because the word already
has a perfectly good meaning that's much less specific than the
meaning the Ada standard assigns to it.

On the other hand, of course, there's a lot more "undefined behavior"
in C than there is "erroneous execution" in Ada.

-- 
Keith Thompson (The_Other_Keith) kst@cts.com  <http://www.ghoti.net/~kst>
San Diego Supercomputer Center           <*>  <http://www.sdsc.edu/~kst>
Schroedinger does Shakespeare: "To be *and* not to be"