Re: OT: down with memory protection!
On Thu, Dec 02, 2004 at 03:38:38PM -0600, Kirk Strauser wrote:
> > and the compiler and programmer could be required to prove that the code
> > would not loop forever without calling yield.
>
> This is provably impossible. Reference "the halting problem".
Not really. Let the programmer try to prove it. If he succeeds, fine, if
_he_ loops forever, that's surely his own problem ?
Frank
--
"Debugging is twice as hard as writing the code in the first place.
Therefore, if you write the code as cleverly as possible, you are,
by definition, not smart enough to debug it." - Brian W. Kernighan
Reply to: