Re: Reference-oriented language and high-integrity software

[Georg Bauhaus <bauhaus@futureapps.de>]

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