From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Ada95 to ANSI_C converter
Date: 1997/04/03
Date: 1997-04-03T00:00:00+00:00 [thread overview]
Message-ID: <dewar.860070899@merv> (raw)
In-Reply-To: JSA.97Apr2144544@alexandria
Jon said
<<So, were these tricks still captured in generated C or were they
something else? If they were still captured in the generated C, then
it would seem that the use of the term "fundamentally" here is not
quite accurate. I mean, the ICC work would be an existence proof to
the contrary.>>
No -- read carefully! The ICC work shows you can translate Ada into low
level C, and capture 100% of the semantics. This is known, and no one
ever contested it. My statement was that such a translation has
fundamental efficiency problems. The ICC does not contradict this,
rather it demonstrates an instance of these problems.
next prev parent reply other threads:[~1997-04-03 0:00 UTC|newest]
Thread overview: 63+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <5hbrah$ctt$1@gail.ripco.com>
1997-03-26 0:00 ` Ada95 to ANSI_C converter Nick Roberts
1997-03-26 0:00 ` Robert Dewar
1997-03-27 0:00 ` Jennifer E. Lee
1997-03-28 0:00 ` Craig Franck
1997-03-28 0:00 ` Robert Dewar
1997-03-28 0:00 ` Steve Doiel
1997-03-28 0:00 ` Robert Dewar
1997-04-02 0:00 ` Richard Kenner
1997-04-02 0:00 ` Robert Dewar
1997-04-02 0:00 ` Richard Kenner
1997-04-02 0:00 ` Robert Dewar
1997-04-02 0:00 ` Robert A Duff
1997-04-04 0:00 ` Keith Thompson
1997-04-04 0:00 ` Robert Dewar
1997-04-07 0:00 ` Arthur Schwarz
1997-04-07 0:00 ` Robert Dewar
1997-04-08 0:00 ` Robert A Duff
1997-04-07 0:00 ` Peter Seebach
1997-04-07 0:00 ` Kaz Kylheku
1997-04-08 0:00 ` Keith Thompson
1997-04-02 0:00 ` Richard Kenner
1997-04-03 0:00 ` Fergus Henderson
1997-03-27 0:00 ` Craig Franck
1997-03-27 0:00 ` Jennifer E. Lee
1997-03-27 0:00 ` Jennifer E. Lee
1997-03-27 0:00 ` Philip Johnson
1997-04-01 0:00 ` Jennifer E. Lee
1997-04-02 0:00 ` Philip E. Johnson
1997-04-03 0:00 ` Jon S Anthony
1997-03-28 0:00 ` Robert Dewar
1997-03-28 0:00 ` Craig Franck
1997-03-28 0:00 ` Robert Dewar
1997-04-01 0:00 ` David Kristola
1997-04-01 0:00 ` Jennifer E. Lee
1997-04-01 0:00 ` Tom Wheeley
1997-04-01 0:00 ` Robert I. Eachus
1997-03-27 0:00 ` Jeff Carter
1997-03-28 0:00 ` Jon S Anthony
1997-03-28 0:00 ` Jon S Anthony
1997-03-28 0:00 ` Robert Dewar
1997-04-02 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Robert Dewar [this message]
1997-04-04 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Robert A Duff
1997-04-03 0:00 ` Robert Dewar
1997-04-03 0:00 ` Robert Dewar
1997-04-04 0:00 ` Jon S Anthony
1997-04-04 0:00 ` Robert Dewar
1997-04-04 0:00 ` Robert Dewar
1997-04-07 0:00 ` Jon S Anthony
1997-04-07 0:00 ` Jon S Anthony
1997-03-31 0:00 ` Jon S Anthony
1997-03-31 0:00 ` Robert Dewar
1997-04-01 0:00 ` Robert A Duff
1997-03-31 0:00 ` David Emery
1997-04-03 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Jennifer E. Lee
1997-04-04 0:00 ` Howard W. LUDWIG
1997-04-16 0:00 Dan Lehman
1997-04-17 0:00 ` Robert Dewar
1997-04-20 0:00 ` Nick Roberts
1997-04-20 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