Re: RISKS: Princeton discovers another Netscape security flaw

[Simon Spero <ses@tipper.oit.unc.edu>]

On 25 Mar 1996 Paul_Koning/US/3Com%3COM@smtp1.isd.3com.com wrote:

> The job of doing something like what Java claims to do correctly
> is basically equivalent to the job of creating an A2 grade operating
> system. 

I'm not totally convinced that creating an A* implementation of the java 
VM is impossible; the vm instructions are simple enough to define the 
necessary abstract interpretations over, and denotational semantics 
of,with a reasonable degree of confidence. 

I'd definitely rather right a trusted application in java than in C 

Simon
---
They say in  online country             So which side are you on boys
There is no middle way                  Which side are you on
You'll either be a Usenet man           Which side are you on boys
Or a thug for the CDA                   Which side are you on?
  National Union of Computer Operatives; Hackers, local 37   APL-CPIO