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
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-06 09:58:29 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!hammer.uoregon.edu!skates!not-for-mail
From: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 06 Aug 2001 12:41:05 -0400
Organization: NASA Goddard Space Flight Center
Message-ID: <uitg1gmzi.fsf@gsfc.nasa.gov>
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> <ulmkxuy80.fsf@wanadoo.fr>
 <bFxb7.6327$bO7.5653610@nnrp6.proxad.net> <u4rrlur8g.fsf@wanadoo.fr>
 <Lnzb7.6377$6L.5741656@nnrp6.proxad.net>
NNTP-Posting-Host: anarres.gsfc.nasa.gov
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: skates.gsfc.nasa.gov 997116072 25438 128.183.220.71 (6 Aug 2001
 16:41:12 GMT)
X-Complaints-To: dscoggin@cne-odin.gsfc.nasa.gov
NNTP-Posting-Date: 6 Aug 2001 16:41:12 GMT
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7
Xref: archiver1.google.com comp.lang.ada:11395
Date: 2001-08-06T16:41:12+00:00
List-Id: <comp.lang.ada>

"nicolas" <n.brunot@cadwin.com> writes:

> "Pascal Obry" <p.obry@wanadoo.fr> a �crit dans le message news:
> u4rrlur8g.fsf@wanadoo.fr...
> > I agree. But at least ACT has done a job that nobody else have done
> before!
> 
> <snip>
> 
> I don't see why this standardisation job couldn't be made with GNU.

All of the code in the GNU project is contributed either by
volunteers, or by companies being paid to produce GNU code (ACT,
RedHat). Volunteers do what they want; companies do what they are paid
for. 

If you offer to pay money to ACT to maintain GNAT.Regexp in a way
that is compatible with Rational, they might consider it. If a large
number of people make the same offer, they will definitely consider
it.

On the other hand, if you port GNAT.Regexp once to Rational.Regexp,
you are under no obligation to track future GNAT changes. You are also
free to submit it as a GNU library, so others can use it.

Either way, somebody has to commit time or money.

-- 
-- Stephe