From: Keith Thompson <kst-u@mib.org>
Subject: Re: GNAT parameter passing, C-style?
Date: Tue, 06 Jan 2004 20:54:33 GMT
Date: 2004-01-06T20:54:33+00:00 [thread overview]
Message-ID: <lny8skol12.fsf@nuthaus.mib.org> (raw)
In-Reply-To: YI6dneDnLfA2s2eiRVn-hg@comcast.com
"Robert I. Eachus" <rieachus@comcast.net> writes:
> Keith Thompson wrote:
>
> > One of the biggest advantages of Ada over C is that it has far fewer
> > instances of undefined behavior. An advantage of C over Ada is that
> > it uses the straightforward term "undefined behavior" rather than
> > "erroneous execution".
>
> No, no, you are thinking of Ada 83. In the brave new world of Ada 95,
> we have "bounded errors" as well. ;-) I don't think I have ever seen
> any difference in practice, but apparently it makes some users more
> comfortable.
For Ada, there's not much difference *to the user* between a bounded
error and erroneous execution; they're both to be avoided. It's an
important distinction to implementers, though.
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
San Diego Supercomputer Center <*> <http://www.sdsc.edu/~kst>
Schroedinger does Shakespeare: "To be *and* not to be"
next prev parent reply other threads:[~2004-01-06 20:54 UTC|newest]
Thread overview: 47+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-12-26 10:37 GNAT parameter passing, C-style? Luke A. Guest
2003-12-26 14:20 ` Marin David Condic
2003-12-26 14:51 ` Hyman Rosen
2003-12-26 15:07 ` Marin David Condic
2003-12-26 15:39 ` Luke A. Guest
2003-12-26 17:03 ` Hyman Rosen
2003-12-26 17:08 ` Luke A. Guest
2003-12-26 17:27 ` Luke A. Guest
2003-12-26 18:21 ` Frank J. Lhota
2003-12-26 19:06 ` Frank J. Lhota
2003-12-31 10:23 ` Keith Thompson
2003-12-31 14:45 ` Frank J. Lhota
2003-12-31 15:05 ` Hyman Rosen
2003-12-31 16:30 ` Frank J. Lhota
2003-12-31 17:24 ` Hyman Rosen
2003-12-31 19:05 ` Frank J. Lhota
2003-12-31 19:38 ` Hyman Rosen
2003-12-31 20:47 ` Frank J. Lhota
2003-12-31 21:35 ` Hyman Rosen
2004-01-01 2:50 ` Frank J. Lhota
2004-01-01 5:20 ` Luke A. Guest
2004-01-01 16:06 ` Hyman Rosen
2004-01-01 16:32 ` Frank J. Lhota
2004-01-01 16:43 ` Hyman Rosen
2004-01-02 0:24 ` Frank J. Lhota
2004-01-02 4:09 ` Hyman Rosen
2004-01-02 13:29 ` Frank J. Lhota
2004-01-01 5:17 ` Luke A. Guest
2004-01-01 5:09 ` Luke A. Guest
2004-01-02 1:17 ` tmoran
2004-01-01 17:18 ` Jano
2004-01-02 0:25 ` Frank J. Lhota
2004-01-07 6:37 ` Dave Thompson
2004-01-01 3:38 ` Marin David Condic
2004-01-01 5:28 ` Luke A. Guest
2004-01-01 14:17 ` Marin David Condic
2004-01-01 16:20 ` Jeff C,
2004-01-02 13:47 ` Marin David Condic
2004-01-05 21:06 ` Keith Thompson
2004-01-06 3:42 ` Robert I. Eachus
2004-01-06 20:54 ` Keith Thompson [this message]
2004-01-06 23:45 ` Robert I. Eachus
2004-01-06 13:46 ` Frank J. Lhota
2003-12-27 14:22 ` Marin David Condic
2003-12-26 17:10 ` Martin Krischik
2003-12-26 19:04 ` Frank J. Lhota
2003-12-26 18:01 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox