[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Software fault forces Ford recall


> > So my assertion is that the hard part is agreeing on the 
> new grammar.
> > The easy part is implementing it.

My personal vote would be Java.  IMHO, the main thing wrong 
with CTJ/JCSP is that CSP is tacked on as a library which 
*may* be used correctly.  Checking should be added to the 
compiler.  It won't be Java anymore, but if the code runs
on the JVM, it won't matter.