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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no 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-07 07:15:39 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Date: Tue, 7 Aug 2001 10:08:31 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9kosp0$dje$1@nh.pace.co.uk> References: <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com> <3B6636BA.96FD8348@home.com> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> <9kchn1$lng$1@a1-hrz.uni-duisburg.de> <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de> <9kelv1$riq$1@a1-hrz.uni-duisburg.de> NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 997193312 13934 136.170.200.133 (7 Aug 2001 14:08:32 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 7 Aug 2001 14:08:32 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:11498 Date: 2001-08-07T14:08:32+00:00 List-Id: Well, one way to get it done would be for a handful of Ada advocates to build a desirable library under the Ada Developers Cooperative License and make it available on the net. Compiler vendors could freely bundle the library(ies) with their compilers and would be encouraged to do so. End users could use the library(ies) at no cost to develop whatever they want. The original developers would be doing this as a kind of sweat equity that would potentially make them some money if/when someone utilizes the library(ies) in their finished commercial product. Asking someone to volunteer to make a library in his spare time and make it available everywhere freely and never offer any compensation to him is going to require that we find either a saint or a fool. I don't see any big rush on the part of developers here to do this - so maybe that is evidence that giving it away free is not sufficient incentive to get the job done. Since compiler writers are reluctant to do this themselves and can't afford necessarily to fund a bunch of us to do it for them, I'd think it would be nothing but up-side for them to have it done under the ADCL. MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "Pascal Obry" wrote in message news:upua8tadu.fsf@wanadoo.fr... > > But don't get me wrong, I'd love to see more standardized libraries. Now to be > constructive, just try to propose something that WILL work! Of course you > can't expect Aonix to drive, build nice library and let others integrate them > for free (gratis) ! >