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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-05 03:16:08 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!193.251.151.101!opentransit.net!wanadoo.fr!not-for-mail
From: Pascal Obry <p.obry@wanadoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 05 Aug 2001 12:15:02 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID: <upuaavmmx.fsf@wanadoo.fr>
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
 <9jh2cs$aon$1@s1.read.news.oleane.net>
 <2sU67.1485$di7.4670499@nnrp3.proxad.net>
 <9jhb8u$g3s$1@s1.read.news.oleane.net> <3B5C4A92.647FC2EC@earthlink.net>
 <2bb77.5186$DL4.5097616@nnrp5.proxad.net> <3B5D5B79.F2DC527E@earthlink.net>
 <Zse77.5300$v_4.5185683@nnrp5.proxad.net> <3B5DCE74.C12AA2D8@earthlink.net>
 <1Zu77.187$EF5.315498@nnrp1.proxad.net> <9jp5eo$e2b$2@a1-hrz.uni-duisburg.de>
 <PsW77.765$YT.2364480@nnrp5.proxad.net> <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de>
 <%hb87.917$%w2.3730577@nnrp3.proxad.net> <9jrt62$38t$1@nh.pace.co.uk>
 <3B619A6D.5DD6E782@home.com> <DF897.3617$ee.3921026@nnrp5.proxad.net>
 <3B6636BA.96FD8348@home.com> <TLt97.9335$Xa.790630@nnrp4.proxad.net>
 <9k6aug$mtq$1@nh.pace.co.uk> <9kibnf0188m@drn.newsguy.com>
NNTP-Posting-Host: mix-limoges-102-3-120.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 997006567 28912 193.248.149.120 (5 Aug 2001 10:16:07 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 5 Aug 2001 10:16:07 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104
Xref: archiver1.google.com comp.lang.ada:11310
Date: 2001-08-05T10:16:07+00:00
List-Id: <comp.lang.ada>


rob@nospam <rob_member@newsguy.com> writes:

> In article <9k6aug$mtq$1@nh.pace.co.uk>, "Marin says...
> >
>  
> >I agree that it doesn't really help anything to avoid
> >discussing the issues that may be keeping Ada from gaining acceptance.
>  
> Ada will become popular when Borland makes a Turbo Ada :)

Amazing, I have thought the same thing for long time... since 1985-86 when I
have used for the first time Turbo Pascal (what version 3.x if my memory is
right). But now we have GNAT an affordable Ada compiler and very stable... so
I'm not sure I still share your idea today... Note that for the IDE Aonix have
done a nice job. Of course if Delphi was based on Ada... But that's another
story :)

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"