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-04 20:42:54 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!pln-w!spln!dex!extra.newsguy.com!newsp.newsguy.com!drn
From: rob@nospam <rob_member@newsguy.com>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 4 Aug 2001 19:40:47 -0700
Organization: Newsguy News Service [http://newsguy.com]
Message-ID: <9kibnf0188m@drn.newsguy.com>
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>
NNTP-Posting-Host: p-863.newsdawg.com
X-Newsreader: Direct Read News v2.80
Xref: archiver1.google.com comp.lang.ada:11303
Date: 2001-08-04T19:40:47-07:00
List-Id: <comp.lang.ada>

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 :)

May be ACT should talk to Borland about this. GNAT will be the engine, and
Borland will write the IDE and the rest of the env. to package it. I think
a Turbo Ada would be a killer app! (make sure it has a button to click on
to generate byte code from Ada source also).