From: jsa@alexandria (Jon S Anthony)
Subject: Re: Ada95 to ANSI_C converter
Date: 1997/04/03
Date: 1997-04-03T00:00:00+00:00 [thread overview]
Message-ID: <JSA.97Apr3134856@alexandria> (raw)
In-Reply-To: JSA.97Mar28134228@alexandria
7In article <dewar.860070899@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> 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.
Robert, you should read a little more carefully. Please. The comment
above is in response to one of Bob's about how the ICC implementation
_avoided_ inefficiency here. Now, I don't know for a fact that Bob's
comment is accurate (that the ICC implementation was _not_ inefficent
here), but I assumed it was when I asked this question. So, the
proper response here should be either:
a) "No, the ICC implementation was actually inefficient here and the
tricks used did _not_ prevent this problem."
or
b) Address the actual question asked.
/Jon
--
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com
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 ` Peter Seebach
1997-04-07 0:00 ` Kaz Kylheku
1997-04-07 0:00 ` Robert Dewar
1997-04-08 0:00 ` Robert A Duff
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 ` 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-03-27 0:00 ` Craig Franck
1997-03-27 0:00 ` Jennifer E. Lee
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 ` Robert Dewar
1997-04-02 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Robert Dewar
1997-04-04 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Jon S Anthony [this message]
1997-04-03 0:00 ` Robert Dewar
1997-04-03 0:00 ` Robert A Duff
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-28 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