Invisible schrieb:
> I have also never seen a program written to control a nuclear reactor. 
> I'm guessing that for such a program, machine efficiency is irrelevant 
> (if we need a faster PC, we'll just buy one), and program correctness is 
> the *only* criteria of any significance. I bet people writing such 
> software don't just accept random hangups and crashes as an unavoidable 
> fact of life. They fix them. All of them.

No. *Those* people make sure random hangups and crashes *never ever* 
happen in the first place.

Well, at least I hope so...

Then again, nuclear reactors are designed in such a way that they don't 
necessarily need a computer at all.

Post a reply to this message