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.1 required=5.0 tests=BAYES_00,LOTS_OF_MONEY,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-07 04:10:01 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!chcgil2-snf1.gtei.net!news.gtei.net!news.binc.net!kilgallen
From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 7 Aug 2001 07:09:59 -0500
Organization: Berbee Information Networks Corporation
Message-ID: <fPh8mT4LzAu9@eisner.encompasserve.org>
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
   <9kchn1$lng$1@a1-hrz.uni-duisburg.de>
 <R1ta7.4077$ke.4769807@nnrp6.proxad.net> <9kea9a$lsc$1@nh.pace.co.uk>
 <9keduf$qvc$1@a1-hrz.uni-duisburg.de>
 <Reza7.18403$px7.4304991@nnrp1.proxad.net>
 <9kelv1$riq$1@a1-hrz.uni-duisburg.de>
 <dVsb7.5035$2i4.5346431@nnrp6.proxad.net> <ulmkxuy80.fsf@wanadoo.fr>
 <bFxb7.6327$bO7.5653610@nnrp6.proxad.net> <un15dgn63.fsf@gsfc.nasa.gov>
 <JHNb7.7167$2j2.5927018@nnrp6.proxad.net>
 <kcOb7.4612$e%4.140534@news3.oke.nextOrganization: LJK Software
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 997182143 2947 192.135.80.34 (7 Aug 2001
 11:02:23 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Tue, 7 Aug 2001 11:02:23 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:11481
Date: 2001-08-07T07:09:59-05:00
List-Id: <comp.lang.ada>

In article <YpOb7.13370$II7.2424964@nnrp4.proxad.net>, "nicolas" <n.brunot@cadwin.com> writes:
> "Leif Roar Moldskred" <lrm@huldreheim.provida.no> a �crit dans le message
> news: kcOb7.4612$e%4.140534@news3.oke.nextra.no...
>> Well, yes - but what _other_ language than Java has an _XML library_
>> that's standard, and portable across all compilers?
> 
> In my opinion, portable libraries which could be only a standard of facts,
> as long as you don't violate RM rules, is not a question of fighting against
> other languages.
> It's just about starting to put in practice what Ada has claimed since the
> beginning of its existence.

So all you need is an economic model for doing this in a multivendor
environment.  I cannot think of any worked examples.