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-09 00:12:17 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!148.122.208.68!news2.oke.nextra.no!nextra.com!news1.oke.nextra.no.POSTED!not-for-mail
Sender: ohk@maestro.clustra.com
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
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>
 <qSxb7.6335$3h7.5575697@nnrp6.proxad.net> <uelqpgmrx.fsf@gsfc.nasa.gov>
 <BTNb7.7173$NB7.5641265@nnrp6.proxad.net> <3B706ADC.B4847AC3@home.com>
 <umqr8umyhp0.fsf@maestro.clustra.com> <9krfrl$e95$1@nh.pace.co.uk>
From: Ole-Hjalmar Kristensen <ohk@clustra.com>
Message-ID: <umqlmktvha7.fsf@maestro.clustra.com>
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 194.143.59.98
X-Complaints-To: news-abuse@nextra.no
NNTP-Posting-Date: Thu, 09 Aug 2001 09:11:33 MET DST
Organization: Nextra Public Access
X-Trace: readme.online.no 997341093 194.143.59.98
Date: 09 Aug 2001 09:12:00 +0200
Xref: archiver1.google.com comp.lang.ada:11668
Date: 2001-08-09T09:12:00+02:00
List-Id: <comp.lang.ada>

"Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org> writes:

> Wellllll....... You *might* pay to get a custom library built rather than
> shop for an off-the-shelf part. Sometimes you have a problem domain for
> which no suitable library exists or there are licensing issues, etc. But the
> one thing you can count on here is that any (non-brain-dead) businessman is
> *not* going to pay "Ada Library Writers Inc." the full development cost,
> plus profit and not walk away with 100% ownership of the end product.
> 
> 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/
> 

Yes, I agree completely. The problem with such libraries is that they
usually not are released on the open market, although there is of
course nothing preventing the customer to do so if it can make some
extra business.

> 
> "Ole-Hjalmar Kristensen" <ohk@clustra.com> wrote in message
> news:umqr8umyhp0.fsf@maestro.clustra.com...
> > Larry Elmore <ljelmore@home.com> writes:
> >
> > But he's not an investor, he's potential customer in the mass
> > market. There is a difference you know, and compilers and libraries
> > are commodities these days, not custom-made.
> >
> 
> 
> 

-- 
Kabelsalat ist gesund.

Ole-Hj. Kristensen