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-10 16:06:02 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!194.213.69.151!news.algonet.se!algonet!pepsi.tninet.se!not-for-mail
From: Stefan Skoglund <stetson@ebox.tninet.se>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: Thu, 09 Aug 2001 19:44:56 +0200
Organization: Telenordia
Message-ID: <3B72CC18.F07195D1@ebox.tninet.se>
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
 <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> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
 <yy9a7.3017$ss3.4363386@nnrp6.proxad.net>
 <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> <9klokd0nif@drn.newsguy.com>
 <gkvb7.6275$R8.5682297@nnrp6.proxad.net> <uhevluxrf.fsf@wanadoo.fr>
NNTP-Posting-Host: du90-147.ppp.algonet.se
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: zingo.tninet.se 997484652 4616 195.100.147.90 (10 Aug 2001 23:04:12
 GMT)
X-Complaints-To: abuse@algo.net
NNTP-Posting-Date: 10 Aug 2001 23:04:12 GMT
X-Mailer: Mozilla 4.72 [en] (Win95; I)
X-Accept-Language: sv,en,en-US
Xref: archiver1.google.com comp.lang.ada:11786
Date: 2001-08-10T23:04:12+00:00
List-Id: <comp.lang.ada>

Pascal Obry wrote:
> Maybe all Ada vendors should put some money on some sort of organization to
> have the Ada libraries updated using standard Ada without vendor-specific
> additions. This would benefit the whole Ada community. Does such an
> organization exist ?

I don't think an XML library would be that useful in an compiler
targetting embedded applications.

Ow, nice we can send midcourse updates to the navigation
computer as an XML stream. Really nice :-)

ARGGGGHHHHHHH

Having a lot of libraries added to the Ada standard shoul be done
as annexes which means that not every compiler needs to have them.

After all we still have to think about what a change to standards
means with regards to compiler validation.

Claw could be added as a annex so could GtkAda if we didn't have that
small problem called creeping featuritis (in gtk+ in this case)