From: Tucker Taft <stt@averstar.com>
Subject: Re: Ada to C Translator
Date: Tue, 02 Jan 2001 16:58:52 -0500
Date: 2001-01-02T21:58:52+00:00 [thread overview]
Message-ID: <3A524F1C.223ABAE4@averstar.com> (raw)
In-Reply-To: 92fk1v0cou@drn.newsguy.com
Mike K wrote:
>
> Question to the group:
>
> I have a requirment to convert and application written in ada to c. Can anyone
> provide me insight as to any ada to c translators available?
AverStar has a variant of our AdaMagic front end that uses
optimized ANSI C as its intermediate representation. We make
this technology available in 2 ways:
1) As an Ada compiler for a target that has a reasonable ANSI C
compiler, where you maintain the Ada source code, and the
fact that it generates C as an intermediate is not terribly
important, though it may allow you to use a C debugger to
debug pretty much at the Ada source code level (we generate
appropriate "#line" directives for this purpose).
2) As a translator from Ada to C, where the generated C source
carries over the structure, comments, names, etc. from the Ada
program in so far as possible. This is available only as a service
on a per-line basis, primarily for packaging reasons, but in part
also for business reasons. We can take advantage of certain C++
features (e.g. namespaces) if desired.
The intent in this approach is that the translation is essentially
a one-time process, and you edit and maintain the generated C source.
Note that although we can retain all the run-time checks in
the generated source, most users request we turn this off so the C code
is more "typical." Furthermore, once you start editing the C
code, you are definitely sacrificing all the compile-time and
run-time checking provided by Ada. So you need a pretty
compelling justification to take this second route if you care
at all about the kind of automatic consistency checks that Ada
provides.
Please contact us if either of these approaches would be of interest to
you.
>
> Mike
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Commercial Division, AverStar (formerly Intermetrics)
(http://www.averstar.com/services/IT_consulting.html) Burlington, MA USA
next prev parent reply other threads:[~2001-01-02 21:58 UTC|newest]
Thread overview: 120+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-12-28 14:51 Ada to C Translator Mike K
2000-12-28 16:44 ` Ted Dennison
2000-12-28 17:40 ` Ira D. Baxter
2000-12-28 20:11 ` gdemont
2000-12-29 4:21 ` Dr Adrian Wrigley
2000-12-29 8:08 ` gdemont
2000-12-29 20:35 ` Dave Ptacek
2000-12-29 21:31 ` Marin David Condic
2000-12-30 23:04 ` Frode Tennebø
2000-12-30 23:31 ` Ted Dennison
2001-01-01 10:17 ` Tarjei T. Jensen
2001-01-01 15:17 ` Larry Kilgallen
2001-01-01 17:43 ` Robert Dewar
2001-01-01 21:00 ` Tarjei Tj�stheim Jensen
2001-01-01 23:38 ` Robert Dewar
2001-01-02 14:54 ` Marin David Condic
2001-01-01 21:01 ` Lao Xiao Hai
2001-01-01 23:41 ` Robert Dewar
2001-01-02 21:36 ` Frode Tennebø
2001-01-03 18:18 ` Robert Dewar
2001-01-03 22:31 ` Frode Tennebø
2001-01-04 0:01 ` Brian Rogoff
2001-01-04 1:16 ` Larry Kilgallen
2001-01-04 2:41 ` Brian Rogoff
2001-01-03 23:57 ` Ken Garlington
2001-01-06 20:48 ` Lao Xiao Hai
2001-01-01 22:57 ` Frode Tennebø
2001-01-01 23:49 ` Robert Dewar
2001-01-02 21:39 ` Frode Tennebø
2001-01-03 18:22 ` Robert Dewar
2001-01-03 18:48 ` Larry Kilgallen
2001-01-03 19:25 ` Ted Dennison
2001-01-03 22:10 ` Frode Tennebø
2001-01-01 23:04 ` Frode Tennebø
2001-01-02 22:20 ` Tarjei Tj�stheim Jensen
2001-01-02 18:07 ` Dave Ptacek
2001-01-02 22:45 ` Ted Dennison
2001-01-02 22:54 ` Tarjei Tj�stheim Jensen
2001-01-02 23:43 ` Ted Dennison
2001-01-02 22:57 ` Frode Tennebø
2001-01-03 12:34 ` Marin David Condic
2001-01-03 14:00 ` Ken Garlington
2001-01-03 16:16 ` Marin David Condic
2000-12-28 18:53 ` Ehud Lamm
2000-12-28 20:41 ` tmoran
2000-12-29 12:01 ` Tarjei T. Jensen
2001-01-02 21:58 ` Tucker Taft [this message]
-- strict thread matches above, loose matches on Subject: below --
2006-01-24 19:55 Ada to C++ translator zangnew
2006-01-24 22:39 ` Jeffrey R. Carter
2006-01-24 23:26 ` David Emery
2006-01-25 4:53 ` Jeffrey R. Carter
2006-01-24 23:25 ` Gautier Write-only
2006-01-25 1:15 ` REH
2006-01-25 16:44 ` Martin Krischik
2006-01-25 20:42 ` REH
2006-01-26 9:03 ` Maciej Sobczak
2006-01-25 3:42 ` Bobby D. Bryant
2006-01-25 20:01 ` Florian Weimer
2006-01-25 20:36 ` Martin Dowie
2006-01-25 21:08 ` Florian Weimer
2006-01-25 21:26 ` Randy Brukardt
2006-01-26 11:22 ` Florian Weimer
2006-01-26 17:25 ` Martin Krischik
2006-01-26 18:08 ` Alex R. Mosteo
2006-01-26 18:29 ` REH
2006-01-27 19:13 ` Martin Krischik
2006-01-26 18:42 ` Florian Weimer
2006-01-27 0:39 ` Randy Brukardt
2006-01-26 1:18 ` Bobby D. Bryant
2006-01-26 18:51 ` Florian Weimer
2006-01-26 17:15 ` Martin Krischik
2006-01-26 18:45 ` Florian Weimer
2006-01-25 9:24 ` Pascal Obry
2006-01-25 22:24 ` Gautier Write-only
2006-01-25 23:19 ` REH
2006-01-26 9:17 ` Maciej Sobczak
2006-01-25 22:30 ` James Alan Farrell
2006-01-27 15:01 ` Charlie McCutcheon
2006-01-29 14:02 ` Marco
2006-01-29 15:12 ` Dmitry A. Kazakov
2006-01-29 15:43 ` jimmaureenrogers
2006-01-30 5:32 ` Hyman Rosen
2000-04-12 0:00 Ada to C++ Translator Brad Crabtree
2000-04-12 0:00 ` David Starner
2000-04-13 0:00 ` Gautier
2000-04-14 0:00 ` Tucker Taft
1997-07-05 0:00 Ada To c translator wisniew
1997-07-06 0:00 ` Jerry van Dijk
[not found] <dewar.855063471@merv>
[not found] ` <5d7h2e$q4l$1@news.nyu.edu>
[not found] ` <5d90qq$ka7@mulga.cs.mu.OZ.AU>
1997-02-16 0:00 ` Ada to C translator Richard Kenner
1997-02-17 0:00 ` Fergus Henderson
1997-02-26 0:00 ` AlinP
1997-02-26 0:00 ` Robert Dewar
1997-03-21 0:00 ` Keith Allan Shillington
1997-03-26 0:00 ` Geert Bosch
1997-03-26 0:00 ` Tom Moran
1997-03-28 0:00 ` Robert Dewar
[not found] <199702041504.PAA11572@sw-eng.falls-church.va.us>
1997-02-09 0:00 ` Robert Dewar
1997-01-21 0:00 Gabriel Rouzaut
1997-01-22 0:00 ` Larry Kilgallen
1997-01-24 0:00 ` Ted Dennison
1997-01-30 0:00 ` Keith Thompson
[not found] ` <5d29nv$sqv@mn5.swip.net>
[not found] ` <dewar.854940250@merv>
[not found] ` <5ddp0u$elq@mn5.swip.net>
1997-02-09 0:00 ` Robert Dewar
1996-08-07 0:00 David Buscaglia
1996-08-09 0:00 ` Robert Dewar
1996-07-11 0:00 ADA to C++ translator Alain PUJOL
1996-07-12 0:00 ` Darren C Davenport
1996-07-13 0:00 ` Vladimir Vukicevic
1996-07-15 0:00 ` Simon A Watts
1996-07-15 0:00 ` Robert Dewar
1996-07-16 0:00 ` Simon A Watts
1996-07-15 0:00 ` Darren C Davenport
1996-07-15 0:00 ` Kevin J. Weise
1996-07-16 0:00 ` Simon A Watts
1996-07-15 0:00 ` David Wheeler
1996-07-16 0:00 ` Richard Krehbiel
1996-07-16 0:00 ` Jon S Anthony
[not found] <3f10sf$9t1@news.dtc.hp.com>
[not found] ` <3f1kig$p0d@newstand.syr.edu>
1995-01-12 16:10 ` Ada to C translator Robert Dewar
1994-09-08 21:12 Kevin H. Hunt x7343
1993-08-04 15:51 Joe Fasano
1990-07-27 12:41 /2000
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox