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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,119826e558c913d7 X-Google-Attributes: gid103376,public From: "David C. Hoos, Sr." Subject: Re: Ada vs. C++ in defense projects Date: 2000/11/05 Message-ID: #1/1 X-Deja-AN: 689867236 Content-Transfer-Encoding: 7bit References: <8tv04t$n80$1@nnrp1.deja.com> <3a04bb7a@rsl2.rslnet.net> <3A04C67F.FEB1D90A@netwood.net> <8u2o3d$hft$1@nnrp1.deja.com> <3A04F336.B780D887@netwood.net> Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 X-Abuse-Info: Please forward ALL headers when reporting abuse. X-Complaints-To: abuse@telocity.net X-Trace: NDQgTvdBdXRoVXNlciBURUxPQ0lUWS1SRUFERVJTIDIxNi4yMjcuNDcuNDkgIFN1biwgMDUgTm92!IDIwMDAgMDI6NTk6MDAgUFNU MIME-Version: 1.0 NNTP-Posting-Date: Sun, 05 Nov 2000 02:59:00 PST Newsgroups: comp.lang.ada Date: 2000-11-05T00:00:00+00:00 List-Id: JGNAT, along with some papers on it is freely available at ftp://ftp.cs.nyu.edu/pub/gnat/jgnat/ E. Robert Tisdale wrote in message news:3A04F336.B780D887@netwood.net... > Robert Dewar wrote: > > > E. Robert Tisdale wrote: > > > If you can find an Ada compiler which emits byte code for a > > > JVM, > > > you may be able to convince them that they should implement > > > safety critical applications in Ada instead of Java. > > > Otherwise, you should probably just forget about Ada. > > > > JGNAT from Ada Core Technologies is such a system .... > > > > Robert Dewar > > Ada Core Technologies > > www.gnat.com > > I only found a short announcement > > Ada Core Technologies and ACT Europe > announce JGNAT Professional release 1.1a. JGNAT Professional, > the Ada 95 development environment for the Java platform, > is a port of the GNAT Ada 95 technology to the Java environment. > JGNAT supports the development of both applications and applets. > > JGNAT comprises a compiler generating Java bytecode > fully compatible with Java virtual machines > conforming to Sun's specification (JDK 1.1 and above), > and a set of tools to aid in developing Ada programs for the Java platform. > Contact sales@gnat.com for more information or contact: > > at > > http://www.gnat.com/ > > by clicking on > > Announcing JGNAT Pro release 1.1a >