From: jsa@alexandria (Jon S Anthony)
Subject: Re: Ada95 to ANSI_C converter
Date: 1997/04/04
Date: 1997-04-04T00:00:00+00:00 [thread overview]
Message-ID: <JSA.97Apr4180757@alexandria> (raw)
In-Reply-To: JSA.97Mar28134228@alexandria
In article <dewar.860114168@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> Jon said
>
> <<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:>>
>
> Nope, that's not what Bob said, he said that ICC used some implementation
> dependent tricks -- that's true! Not that they avoided inefficiencies.
> Reread Bob's post, you will see that you invented the word avoid (you
> just read that into it, but it is not what he said!!)
From DejaNews:
--------------
Subject: Re: Ada95 to ANSI_C converter
From: bobduff@world.std.com (Robert A Duff)
Date: 1997/04/01
Message-Id: <E7xots.51o@world.std.com>
Newsgroups: comp.lang.ada,comp.lang.c
[More Headers]
In article <JSA.97Mar31144058@alexandria>,
Jon S Anthony <jsa@alexandria> wrote:
>Hmmm, _fundamentally_ inefficient? I'm not confinced. Of course, it
>definitely will be completely unreadable.
Robert is probably alluding to the fact that C doesn't catch overflows.
Of course, one could imagine a translator that assumed the Ada program
isn't bothered by overflows...
>Well, wasn't it ICC that marketed such a thing for real work? I'm not
>sure they'd agree with you. In fact, I recall yourself claiming that
>there was nothing "fundamentally" wrong with the approach.
I believe ICC used various implementation-dependent tricks to catch
overflows efficiently. And they didn't claim to produce readable C --
*********************
***********
just correct C.
-------------------------
Emphasis mine. I read "to catch overflows efficiently" as being
interchangeable with "to avoid inefficiencies in catching overflows".
I think Bob has already agreed with this, but that he meant to also
say he didn't really know for sure if it worked.
/Jon
--
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com
next prev parent reply other threads:[~1997-04-04 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 ` 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 ` Tom Wheeley
1997-04-01 0:00 ` David Kristola
1997-04-01 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
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 [this message]
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