comp.lang.ada
 help / color / mirror / Atom feed
From: Craig Franck <clfranck@worldnet.att.net>
Subject: Re: Ada95 to ANSI_C converter
Date: 1997/03/28
Date: 1997-03-28T00:00:00+00:00	[thread overview]
Message-ID: <5hfagl$frr@mtinsc05.worldnet.att.net> (raw)
In-Reply-To: 5heoel$bc0$1@gail.ripco.com


xanadu@ripco.com (Jennifer E. Lee) wrote:
>
>In article <dewar.859432540@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>>Nick says
>>
>><<Essentially, this is a task which should be quite feasible, as long as a
>>moderately pragmatic approach is taken (IMHO!).>>
>>
>>Only if you restrict the Ada 95 to a very small subset. There are many
>>features in Ada 95 that will cause significant trouble in converting to
>>C (e.g. nested procedures, dynamic aggregates, dynamic arrays, particularly
>>those in records, variant records, finalization, exceptions, packed arrays,
>>etc. etc.)
>>
>
>So it is impossible for such thing like Ada to C converter being made.
>Is this what you are suggesting?

It may be impractical. Is there a lot of code to convert, and
will you use this converter for other projects? The simplest
way to convert would be to have one group of Ada programmers
convert the Ada program to a PDL description of the code, along
with constraints and specifications. Give that to a C group
and let them code it. Run both programs on the same test data
and see if they perfrom to specification. It would difficult
to automate this process; writing the program would take more
time than any one (or several) conversions by hand. Of course,
maybe you will luck out and a product to do this is already
available. Good Luck!

-- 
Craig
clfranck@worldnet.att.net
Manchester, NH
A fanatic is one who can't change his mind and
won't change the subject -- Winston Churchill






  reply	other threads:[~1997-03-28  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 [this message]
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   ` 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-28  0:00 ` Jon S Anthony
1997-03-31  0:00 ` David Emery
1997-03-31  0:00 ` Jon S Anthony
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