From: Pascal Obry <pascal@obry.net>
Subject: Re: ADA vs Java
Date: 21 Jun 2005 19:25:23 +0200
Date: 2005-06-21T19:25:25+02:00 [thread overview]
Message-ID: <u4qbrtyf0.fsf@obry.net> (raw)
In-Reply-To: pan.2005.06.21.17.11.28.679385@telus.net
HansF <News.Hans@telus.net> writes:
> Q: So, why would a person not use the full Ada in a safety critical
> application?
But this is not a constraint imposed by the Ada vendors. Nobody on earth (I
hope so at least) will use full Ada when it comes to human-lives as there is
too many constructs that can't be verified/certified. At least that's what I
like to think when I'm flying in an Air plane :)
Pascal.
--
--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595
next prev parent reply other threads:[~2005-06-21 17:25 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-06-16 20:32 ADA vs Java Ted
2005-06-16 20:49 ` Eric Sosman
2005-06-18 8:23 ` Pascal Obry
2005-06-18 11:20 ` Stefan Schulz
2005-06-18 12:13 ` Larry Kilgallen
2005-06-18 21:46 ` HansF
2005-06-20 6:47 ` Preben Randhol
2005-06-18 14:09 ` Pascal Obry
2005-06-18 21:40 ` HansF
2005-06-19 6:42 ` Pascal Obry
2005-06-19 22:19 ` HansF
2005-06-20 6:30 ` Pascal Obry
2005-06-20 17:13 ` Alan Krueger
2005-06-20 18:43 ` Pascal Obry
2005-06-20 22:31 ` HansF
2005-06-21 7:56 ` Preben Randhol
2005-06-21 9:47 ` Leif Roar Moldskred
2005-06-21 16:23 ` Preben Randhol
[not found] ` <20050621162315.GA1983@pvv.org>
2005-06-21 16:27 ` Preben Randhol
2005-06-21 16:48 ` Pascal Obry
2005-06-21 17:08 ` HansF
2005-06-21 17:15 ` Preben Randhol
[not found] ` <20050621171549.GA3144@pvv.org>
2005-06-21 17:23 ` Preben Randhol
2005-06-21 17:25 ` Pascal Obry [this message]
2005-06-21 22:59 ` Ada " Björn Persson
2005-06-22 7:38 ` Dmitry A. Kazakov
2005-06-22 13:31 ` HansF
2005-06-20 6:49 ` ADA " Preben Randhol
2005-06-16 21:25 ` David Alex Lamb
2005-06-16 21:28 ` HansF
2005-06-16 22:44 ` Mark Lorenzen
2005-06-16 23:08 ` HansF
2005-06-16 23:26 ` Georg Bauhaus
2005-06-17 6:46 ` Preben Randhol
2005-06-16 23:38 ` Björn Persson
2005-06-17 13:10 ` The Wogster
2005-06-17 14:24 ` Preben Randhol
2005-06-17 14:35 ` Martin Dowie
2005-06-18 1:42 ` Dale King
2005-06-19 12:15 ` Ted
2005-06-18 3:52 ` Steve
2005-06-18 5:44 ` small plug for #ada iirc channel Rod Kay
2005-06-20 13:15 ` Alex R. Mosteo
2005-06-20 13:16 ` Alex R. Mosteo
[not found] ` <200506181544.12149.rodkay@mullum.com.au>
2005-06-18 6:14 ` Preben Randhol
[not found] ` <20050618061402.GA1883@pvv.org>
2005-06-18 6:49 ` Rod Kay
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox