From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,85034d1ac78a66eb
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-25 09:56:59 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!wanadoo.fr!not-for-mail
From: Pascal Obry <p.obry@wanadoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada Operating System
Date: 25 Feb 2002 18:56:52 +0100
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID: <uelj978d7.fsf@wanadoo.fr>
References: <a4u9d00vqe@enews2.newsguy.com>
 <5Tzc8.111999$H37.15018616@news2-win.server.ntlworld.com>
 <slrna75lja.g7h.hugues@neraka.rezel.enst.fr> <a4uqu402315@enews2.newsguy.com>
 <ee19489.0202200647.3a45bc32@posting.google.com> <3C73F480.5010806@mail.com>
 <a533vq$sts$1@knossos.btinternet.com>
 <9ff447f2.0202220108.7f14c9bc@posting.google.com>
 <a56a64$8201@news.cis.okstate.edu>
 <9ff447f2.0202222044.78c44b25@posting.google.com>
NNTP-Posting-Host: avelizy-103-1-2-162.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 1014659813 6862 217.128.15.162 (25 Feb 2002 17:56:53 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 25 Feb 2002 17:56:53 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1.90
Xref: archiver1.google.com comp.lang.ada:20383
Date: 2002-02-25T17:56:53+00:00
List-Id: <comp.lang.ada>


byhoe@greenlime.com (Adrian Hoe) writes:

> OK. My memory was wrong.
> 
> Sometime ago, I was thrown a question while giving talks in
> Universities. "What language do they use to build the Ada compiler?"
> and an (assumed) answer from the audience was "C". Then raised another
> question: "If Ada has many safety features that C does not have and
> the Ada compiler was written in C, how exactly safe is Ada?"

And everything is translated to machine code !!! Serriouly, the above comment
is just about the Ada compiler itself... but for Ada users there is BIG
difference, the Ada compiler to check for Ada SYNTAX and SEMANTICS!

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"