From: jsa@alexandria (Jon S Anthony)
Subject: Re: Ada95 to ANSI_C converter
Date: 1997/03/31
Date: 1997-03-31T00:00:00+00:00 [thread overview]
Message-ID: <JSA.97Mar31144058@alexandria> (raw)
In-Reply-To: 5hbrah$ctt$1@gail.ripco.com
In article <dewar.859584395@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> Jon says
>
> <<I think Robert is taking "conversion" to me "translate the Ada95 into
> C which is then intended to be read and maintained by humans". Using
> this definition, then his points are relevant. But, it seems from
> what you've said a few times now, that you are really looking for a
> "converter" which compiles Ada to C. Using this definition I believe
> Robert would say that, while there may be some issues, this is
> certainly doable and may well have been done.>>
>
> Yes, this has been done for Ada 83, and could be done for Ada 95. The
> resulting C is fundamentally inefficient, and completely unreadable.
Hmmm, _fundamentally_ inefficient? I'm not confinced. Of course, it
definitely will be completely unreadable.
> So the question is: what would it be good for, and the answer is as
> an intermediate language in some cases, but I can't see man y such
> cases.
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.
> In virtually all cases, people asking for Ada to C translation are NOT
> asking for this kind of approach!
Perhaps. But that is irrelevant. The specific case is whether
Jennifer wants this approach, and it's unclear why people should
presume what it is she really wants and then trash her for it.
/Jon
--
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com
next prev parent reply other threads:[~1997-03-31 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 ` 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 ` 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 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-31 0:00 ` David Emery
1997-03-31 0:00 ` Jon S Anthony [this message]
1997-03-31 0:00 ` Robert Dewar
1997-04-01 0:00 ` Robert A Duff
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