comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: advantages or disadvantages of ADA over pascal or modula
Date: Tue, 21 Jan 2003 19:16:22 GMT
Date: 2003-01-21T19:16:22+00:00	[thread overview]
Message-ID: <wccfzrm8gah.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 3E2AEA0C.7AD2A87F@t-online.de

Alfred Hilscher <Alfred.Hilscher@t-online.de> writes:

> Well, nice. But - what do you test, debug, document and so on: Ada or
> C-code?

You test the machine code, of course.

You debug either at the Ada level or the C level -- your choice.  The
Ada compiler can insert #line directives and whatnot into the generated
C code, so that one can set breakpoints on Ada lines and so forth.  It's
not perfect, but it works.  In some cases, you need to understand the
mapping from Ada names to C names, for example (which is fairly
obvious).  On some targets, the debugger has been trained to understand
Ada better.

You document the Ada code.  The C code is just an intermediate language
used by the compiler, and can be ignored by the programmer, except in
some debugging situations.

SofCheck also supports other targets for Ada that do not use C as an
intermediate language.

> Larry Kilgallen schrieb:
> > 
> > In article <3E296128.4183B70A@t-online.de>, Alfred Hilscher <Alfred.Hilscher@t-online.de> writes:
> > 
> > > Assume you have to program a brake control for car, would you do it in
> > > Ada? Then I would like to know which tools you use. The systems I know
> > > are based on microcontrollers HC11/HC12 or 8051. _I_ don't know any
> > > Ada-compiler for these chips. While there are a lot of C develop
> > > environments, there are only very few for Modula, and none for Ada.
> > > Please correct me if I'm wrong.
> > 
> > The SofCheck AdaMagic compiler is available in a form that uses ANSI C
> > as an intermediate language.   Thus any target machine for which you
> > have an ANSI C compiler can be programmed using Ada.  Using this method
> > one automatically takes advantage of whatever peephole optimization the
> > hardware-specific C compiler provides.
> > 
> >         http://www.sofcheck.com

Robert A. Duff
Vice President of Engineering
SofCheck, Inc.



  parent reply	other threads:[~2003-01-21 19:16 UTC|newest]

Thread overview: 86+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-01-03 15:57 advantages or disadvantages of ADA over pascal or modula karl bowl
2003-01-04  2:36 ` Adrian Knoth
2003-01-04 23:12   ` Robert C. Leif
2003-01-05  2:56     ` Ted Dennison
2003-01-05  3:54       ` John R. Strohm
2003-01-06  5:55         ` AG
2003-01-05  9:38           ` John R. Strohm
2003-01-06  1:37             ` advantages or disadvantages of ADA over pascal or modula or oberon was " Robert C. Leif
2003-01-04  2:56 ` Steve
2003-01-04 11:34   ` Dmitry A. Kazakov
2003-01-04 17:35     ` Steve
2003-01-04 22:16       ` Vinzent Hoefler
2003-01-05 14:12       ` Dmitry A. Kazakov
2003-01-04 12:17 ` Gautier
2003-01-04 17:12 ` Alfred Hilscher
2003-01-04 18:16   ` Ted Dennison
2003-01-05 11:47   ` karl bowl
2003-01-05 18:53     ` Alfred Hilscher
2003-01-05 20:38       ` Vinzent Hoefler
2003-01-05 21:03         ` Alfred Hilscher
2003-01-05 21:20           ` Vinzent Hoefler
2003-01-05 21:31             ` Alfred Hilscher
2003-01-05 21:47               ` Vinzent Hoefler
2003-01-06 14:43                 ` Gautier
2003-01-06 16:21                   ` Alfred Hilscher
2003-01-05 22:57             ` Vinzent Hoefler
2003-01-06 21:57           ` karl bowl
2003-01-18 14:14     ` Alfred Hilscher
2003-01-18 15:26       ` Larry Kilgallen
2003-01-19 18:10         ` Alfred Hilscher
2003-01-19 23:42           ` Larry Kilgallen
2003-01-21 19:16           ` Robert A Duff [this message]
2003-01-18 21:39       ` John R. Strohm
2003-01-18 21:56         ` Vinzent Hoefler
2003-01-18 23:08           ` Larry Kilgallen
2003-01-18 23:16           ` John R. Strohm
2003-01-19  3:36             ` Hyman Rosen
2003-01-19  4:47               ` Vinzent Hoefler
2003-01-19  5:47               ` John R. Strohm
2003-01-19  5:50               ` Steve
2003-01-19  4:47             ` Vinzent Hoefler
2003-01-19  5:51               ` John R. Strohm
2003-01-19 12:51                 ` Dmitry A. Kazakov
2003-01-19 16:43                 ` Marin David Condic
2003-01-19 23:26                   ` John R. Strohm
2003-01-21 13:45                     ` Marin David Condic
2003-01-19  6:10             ` Kevin Cline
2003-01-19 18:03               ` Bernd Specht
2003-01-19 16:31             ` Marin David Condic
2003-01-19 12:17         ` Engineers Pay Alan and Carmel Brain
2003-01-21  7:12           ` Kevin Cline
2003-01-21  9:14             ` John R. Strohm
     [not found]             ` <hub1g-vu3.ln1@beastie.ix.netcom.com>
2003-01-22  4:11               ` John R. Strohm
2003-01-22 17:56               ` John R. Strohm
2003-01-19 16:19         ` advantages or disadvantages of ADA over pascal or modula Marin David Condic
2003-01-19 19:08           ` Robert C. Leif
2003-01-19 20:26           ` Dale Stanbrough
2003-01-20  8:22             ` Tor Fredrik Aas
2003-01-21 14:00             ` Marin David Condic
2003-01-19 18:22         ` Alfred Hilscher
2003-01-20 10:35         ` Georg Bauhaus
2003-01-20 21:12           ` John R. Strohm
2003-01-20 15:56       ` karl bowl
2003-01-20 17:39         ` Jerry Petrey
2003-01-20 22:47         ` Alfred Hilscher
2003-01-21 14:55           ` Stephen Leake
2003-01-21 21:55             ` Alfred Hilscher
2003-01-23 17:06               ` Stephen Leake
2003-01-27  4:25                 ` AG
2003-01-26 17:11                   ` Alfred Hilscher
2003-01-21 17:23           ` karl bowl
2003-01-21 21:47             ` Alfred Hilscher
2003-01-05 12:42   ` Gautier
2003-01-05 18:58     ` Alfred Hilscher
2003-01-05 22:28       ` tmoran
2003-01-06 20:33         ` Randy Brukardt
2003-01-07 14:47           ` Alfred Hilscher
2003-01-07 18:56             ` Randy Brukardt
2003-01-08  9:43               ` Alfred Hilscher
     [not found] ` <mji5va.994.ln@beastie.ix.netcom.com>
2003-01-04 22:16   ` Vinzent Hoefler
2003-01-07 18:14 ` Martin Klaiber
2003-01-08  9:01   ` Gautier
2003-01-08 11:13     ` Martin Klaiber
2003-01-08 17:25       ` Gautier
2003-01-08 17:52         ` Martin Klaiber
2003-01-10  3:07 ` Richard Riehle
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox