Advantages

["Andrew Carroll" <andrew@carroll-tech.net>]

> ------------------------------
> Message: 6
> From: "Nick Roberts" <nick.roberts@acm.org>
> Subject: Improving Ada's Image
>
> "Marin David Condic" <nobody@noplace.com> wrote in message
> news:40CEDEBB.3050209@noplace.com...
>
> > Like I said: The thing that makes operating systems hard to
> > get right are not usually language issues. They are related to
> > the asynchronicity of events and the complexity of the
> > algorithms involved.
>
> This is one of the biggest advantages of writing system software in
Ada.
> Quite a lot of the really nasty pitfalls associated with parallel
> programming in other languages are made either impossible or much more
> easily detected and debugged by Ada.

Okay Marin and Nick, I want to learn more.  Where can I find the
statistical and practical proof?  I'm not trying to snub your comments,
I just want to be able to provide the proof when I talk to my co-workers
about Ada.  Thanks!