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=0.7 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC,SUBJ_ALL_CAPS autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9e20292f693f1408 X-Google-Attributes: gid103376,public From: Ralph Paul Subject: Re: ADA CORE TECHNOLOGIES ANNOUNCES GNAT-TO-JAVA SYSTEM Date: 1997/09/17 Message-ID: <34204085.5377@ibm.net>#1/1 X-Deja-AN: 273348338 References: <34196E8E.1790@gsfc.nasa.gov> <341B2309.4A41@ibm.net> Reply-To: repaul@ibm.net Newsgroups: comp.lang.ada Date: 1997-09-17T00:00:00+00:00 List-Id: Brian Rogoff wrote: > > On 14 Sep 1997, Robert Dewar wrote: > > Ralph Paul says > > > > < > I'm sure everything is going to be great once we get the benefit of this > > stuff>> > > > > Don't get me wrong, I think that the Ada to JVM technology has great > > promise (or we would not be embarking on this project), but the idea > > of using it to get greater portability in avionics applications seems > > pushing things a bit :-) > > I realize that the JVM port is motivated (quite rightly, IMO) by economic > reasons, but I wonder if some other "intermediate form" besides byte > codes might be better if one wanted a portable format which could then > be compiled. > > -- Brian There already one such thing. It's called slim binaries and is used on some Oberon-2 system. These system use some sort of abstract tree representation as "byte-code". This AST is then compiled on the fly on the supported platform. >>From what I read on it the technology gives you protable object-code and native peformance. Also the program flow analysis which is done in Java to determine malicious programs gets easier to do. see http://www.ics.uci.edu/~franz/ and look for slim binaries. CU, Ralph Paul