From: Preben Randhol <randhol+cla@pvv.org>
To: comp.lang.ada@ada-france.org
Subject: Re: ADA vs Java
Date: Tue, 21 Jun 2005 19:23:41 +0200
Date: 2005-06-21T19:23:41+02:00 [thread overview]
Message-ID: <mailman.77.1119374642.17633.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <20050621171549.GA3144@pvv.org>
On Tue, Jun 21, 2005 at 07:15:49PM +0200, Preben Randhol wrote:
> On Tue, Jun 21, 2005 at 05:08:21PM +0000, HansF wrote:
> > Q: So, why would a person not use the full Ada in a safety critical
> > application?
>
> Because you cannot manage to certify full Ada, C++, Java or even full C.
> As Robert Dewar put it: "They have too much junk in them" (see the
> lectures here: http://www.gnat.com/aa_lectures.php, as for the comment
> it is at the end of the last video.)
And the SPARKAda link is: http://www.praxis-his.com/sparkada/intro.asp
--
Preben Randhol -------------- http://www.pvv.org/~randhol/Ada95 --
�For me, Ada95 puts back the joy in programming.�
next prev parent reply other threads:[~2005-06-21 17:23 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 [this message]
2005-06-21 17:25 ` Pascal Obry
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