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-Thread: 103376,25e091afe1184988 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Fri, 03 Nov 2006 12:25:09 +0100 From: Georg Bauhaus Organization: elsewhere User-Agent: Thunderbird 1.5.0.7 (Macintosh/20060909) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Reference-oriented language and high-integrity software References: <87mz78zz1w.fsf@ludovic-brenta.org> <1162546998.925808.52360@h48g2000cwc.googlegroups.com> In-Reply-To: <1162546998.925808.52360@h48g2000cwc.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <454b2617$0$5721$9b4e6d93@newsspool3.arcor-online.net> NNTP-Posting-Date: 03 Nov 2006 12:20:55 CET NNTP-Posting-Host: fe22f03a.newsspool3.arcor-online.net X-Trace: DXC=Bk`FGgN6[ga_0Po7BmQ3]lMcF=Q^Z^V3h4Fo<]lROoRagUcjd<3m<;b0g\>Xa[7m_cPCY\c7>ejVhKFge^<9[dYk;^HMES_`jTg X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:7352 Date: 2006-11-03T12:20:55+01:00 List-Id: roderick.chapman@googlemail.com wrote: > The provision of _sound_ (i.e. no false negatives) and _fast_ aliasing > analysis > a key factor, even in the absence of dynamic memory and garbage > collection. By analogy then, a coffee seller telling us that coffee is good for our health could have had an opportunity of being convincing. Why not allude to the reasons for Java being inappropriate right next to the claim? Other companies (including SofCheck and Aonix I guess) might find this claim far too general. I might have missed its context, my copy is too old to include what sounds like Java bashing, but given this thread, I would guess there isn't enough explicit context. -- Georg