From: Richard D Riehle <laoXhai@ix.netcom.com>
Subject: Re: Compilers for VAX Was: Ada version of C's 'static'
Date: 1999/08/09
Date: 1999-08-09T12:44:30-05:00 [thread overview]
Message-ID: <7on41u$3rf@dfw-ixnews19.ix.netcom.com> (raw)
In-Reply-To: wcc672p6pqt.fsf@world.std.com
In article <wcc672p6pqt.fsf@world.std.com>,
Robert A Duff <bobduff@world.std.com> wrote:
... deleted a bunch of stuff ...
> ... The main point of having a C-generating Ada
>compiler is to make it easy to port -- but it's not zero work.
Not easy. Not necessarily safe. I just discovered that another
favorite language that emits intermediate C code fails to detect
the famous C "integer overflow" problem at run-time. Even though
C is sometimes thought of as a "universal assembler" suitable for
"C Pass" compilers, one needs to ensure that the rigorous demands
of Ada are still satisfied. I guess conformance (ACVC) tests are
still useful. Yes, Dr. Dewar, I realize that conformance testing
is not completely reliable, but it is better than a ... (fill in
your favorite metaphor).
Richard Riehle
richard@adaworks.com
http://www.adaworks.com
next prev parent reply other threads:[~1999-08-09 0:00 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-19 0:00 Ada version of C's 'static' Craig Allen
1999-07-19 0:00 ` David Botton
1999-07-20 0:00 ` Simon Wright
1999-07-23 0:00 ` Tucker Taft
1999-07-30 0:00 ` Craig Allen
1999-08-03 0:00 ` Compilers for VAX Was: " Erdelyi Gaspar
1999-08-03 0:00 ` Larry Kilgallen
1999-08-04 0:00 ` Steve Doiel
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` Larry Kilgallen
1999-08-06 0:00 ` Robert A Duff
1999-08-06 0:00 ` Larry Kilgallen
1999-08-09 0:00 ` Robert A Duff
1999-08-09 0:00 ` Richard D Riehle [this message]
1999-08-09 0:00 ` Tucker Taft
1999-08-10 0:00 ` Robert A Duff
1999-08-08 0:00 ` Robert Dewar
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Rod Chapman
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Larry Kilgallen
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Marin David Condic
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Larry Kilgallen
1999-08-04 0:00 ` Chris Miller
1999-08-05 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox