Re: ADA vs Java

[HansF <News.Hans@telus.net>]

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