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-06 09:58:30 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!feed.textport.net!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:45:38 -0400
Organization: NASA Goddard Space Flight Center
Message-ID: <uelqpgmrx.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> <9klokd0nif@drn.newsguy.com>
 <gkvb7.6275$R8.5682297@nnrp6.proxad.net> <uhevluxrf.fsf@wanadoo.fr>
 <qSxb7.6335$3h7.5575697@nnrp6.proxad.net>
NNTP-Posting-Host: anarres.gsfc.nasa.gov
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: skates.gsfc.nasa.gov 997116344 25438 128.183.220.71 (6 Aug 2001
 16:45:44 GMT)
X-Complaints-To: dscoggin@cne-odin.gsfc.nasa.gov
NNTP-Posting-Date: 6 Aug 2001 16:45:44 GMT
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7
Xref: archiver1.google.com comp.lang.ada:11396
Date: 2001-08-06T16:45:44+00:00
List-Id: <comp.lang.ada>

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

> I'm not an Ada vendor, ACT is, Aonix is, Rational is.
> Don't count on us to do compilers vendors job ...

No, but we do count on you to pay them to do it.

> When you buy a TV set, the vendor doesn't ask you to build the
> factory ...

Actually, they do. Part of the cost of the TV set is paying for the
mortgage on the current factory, and investing in the next factory.
Same for Ada libraries; somebody has to pay for them. Part of the fee
we pay to ACT for support goes to building new libraries. 

The difference is in scale. When you sell millions of TVs, the
incremental cost of the next factory for each TV set is very small.
But ACT only sells hundreds (I'm guessing here) of support contracts,
so the incremental cost is higher.

-- 
-- Stephe