From: Richard D Riehle <laoXhai@ix.netcom.com>
Subject: Re: Ada2C++
Date: 2000/02/01
Date: 2000-02-01T18:24:14+00:00 [thread overview]
Message-ID: <8778ce$7k5$1@nntp8.atl.mindspring.net> (raw)
In-Reply-To: 875o42$71s2@news.cis.okstate.edu
>On Tue, 01 Feb 2000 03:09:26 GMT, jedilowe@my-deja.com <jedilowe@my
deja.com> wrote:
>> My question though, If Ada 95 has such powerful interface
>>capabilities to other languages, why is translation even a question?
Ada is a high-level language. C is a low-level language, closer to
being a universal assembler. As such, translating to C sometimes
makes it easier to generate the intermediate code that can be
compiled to executable on a given platform. This approach is taken
by other high-level languages, notably, Eiffel.
There is a danger, though. C is less reliable than one might hope.
There a lots of little gotchas. For example, direct translation to
C from some strongly-typed high-level language can run into problems
such as the famous integer overflow feature. For validated Ada, this
is not a problem since a compiler that fails to accomodate this error
from C would not pass validation. For current Eiffel compilers this
is still a problem.
Translation from one language to another is always a perilous
undertaking. We use the word undertaking here in all of its
meanings, including those that reflect morbidity.
Richard Riehle
richard@adaworks.com
next prev parent reply other threads:[~2000-02-01 0:00 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-01-09 0:00 Ada2C++ BRETTSYS1
2000-01-09 0:00 ` Ada2C++ Brian Rogoff
2000-01-10 0:00 ` Ada2C++ Ross
2000-01-10 0:00 ` Ada2C++ Jeff Carter
2000-01-10 0:00 ` Ada2C++ Tucker Taft
2000-02-01 0:00 ` Ada2C++ jedilowe
2000-02-01 0:00 ` Ada2C++ David Starner
2000-02-01 0:00 ` Richard D Riehle [this message]
2000-02-02 0:00 ` Ada2C++ jedilowe
2000-01-14 0:00 ` Ada2C++ Frode Tenneboe
2000-01-14 0:00 ` Ada2C++ E. Robert Tisdale
2000-01-18 0:00 ` Ada2C++ Charles Hixson
2000-01-18 0:00 ` Ada2C++ Frode Tenneboe
2000-01-28 0:00 ` ada2cpp denizbey
2000-01-28 0:00 ` ada2cpp Pat Rogers
2000-01-28 0:00 ` ada2cpp Richard D Riehle
2000-01-28 0:00 ` ada2cpp Gautier
2000-01-28 0:00 ` ada2cpp Marin D. Condic
2000-01-28 0:00 ` ada2cpp Ted Dennison
2000-01-28 0:00 ` ada2cpp David
2000-01-28 0:00 ` ada2cpp Ted Dennison
2000-01-30 0:00 ` ada2cpp Gautier
2000-01-28 0:00 ` ada2cpp Ted Dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox