Re: a dozen cpu's on a chip

On Mon, 12 May 2008 18:31:34 -0700 (PDT), MooseFET
<kensmith@xxxxxxxxx> wrote:

On May 12, 8:12 am, John Larkin
<jjlar...@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
[....]
show off how tricky they can be. Something without pointers. Something
that is impossible to crash.

No nontrivial language can ever be proven to be imposible to crash.

I'd be satisfied with no known crash instance in the history of the
language. Provability was a CS fad, until they discovered that they
couldn't prove anything useful.

John


.

Relevant Pages

  • Re: a dozen cpus on a chip
    ... No nontrivial language can ever be proven to be imposible to crash. ... Provability for some things in important software is still possible and done, but it is overkill for commercial software. ... Cyrix found about 20 small but non-trivial bugs in the original 8087 design when they commissioned a full formal design spec for their own faster x87 compatible math chip. ...
    (sci.electronics.design)
  • Re: a dozen cpus on a chip
    ... No nontrivial language can ever be proven to be imposible to crash. ... It is much more common in hardware design. ... formal proof specification these days. ...
    (sci.electronics.design)
  • Re: a dozen cpus on a chip
    ... No nontrivial language can ever be proven to be imposible to crash. ... The full Ada implementation is too much like a race horse designed by committee with way too many bells and whistles hitching a ride. ... For my money any routine that attempts to read from uninitiallised memory, or write to memory it doesn't own should be terminated with a page fault there and then. ...
    (sci.electronics.design)
Loading