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-Thread: 103376,aef4913dd6741a38
X-Google-Thread: 113ae9,aef4913dd6741a38
X-Google-Attributes: gid103376,gid113ae9,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps90.POSTED!53ab2750!not-for-mail
From: HansF <News.Hans@telus.net>
Subject: Re: ADA vs Java
User-Agent: Pan/0.14.2.92 ('Ere, he says he's not dead.)
Message-Id: <pan.2005.06.19.22.22.32.110658@telus.net>
Newsgroups: comp.lang.ada,comp.lang.java.help
References: <bllse.12013$q46.11010@newsfe1-win.ntli.net>
 <d8sokd$mka$1@news1brm.Central.Sun.COM> <uis0cdqez.fsf@obry.net>
 <pan.2005.06.18.11.20.22.386912@spacetime.de> <u8y17eoyb.fsf@obry.net>
 <pan.2005.06.18.21.43.42.515021@telus.net> <uoea2u9t1.fsf@obry.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Date: Sun, 19 Jun 2005 22:19:27 GMT
NNTP-Posting-Host: 161.184.143.86
X-Trace: edtnps90 1119219567 161.184.143.86 (Sun, 19 Jun 2005 16:19:27 MDT)
NNTP-Posting-Date: Sun, 19 Jun 2005 16:19:27 MDT
Xref: g2news1.google.com comp.lang.ada:11485 comp.lang.java.help:17755
Date: 2005-06-19T22:19:27+00:00
List-Id: <comp.lang.ada>

On Sun, 19 Jun 2005 08:42:34 +0200, Pascal Obry interested us by writing:

> 
> Building safety-critrical software is possible in Ada and no Ada vendor will
> have such disclamer (Ada is used in the most critical application around). The
> point is that Ada can be used with a certified runtime or no runtime at all
> in some implementation.
> 
> Pascal.

No doubt Ada is solid.  Little wonder that Oracle's PL/SQL is based on
Ada.  

<opinion>
In my opinion, based on my experience, Ada will tend to be used in a
professional environment tht includes proper analysis, specification and
testing. As such, the attitude in an Ada environment may be as much or
more important to critical programming than the fact that it is a solid
piece of technology.
</opinion>

But you do not answer the question, which is (rephrased): "Are you
implying that there are no bugs in any Ada compiler?".  

(If you answer yes, the next obvious question is - what is the proof. 
However, I will not ask that question! <g>)

-- 
Hans Forbrich