Quote #58 > For Instance, The Tower Of Hanoi Solution Below Is Typical Of What I Do.

HomeFortune CookiesQuotations - Random

Quote #58

> For instance, the Tower of Hanoi solution below is typical of what I do. I
> don't even need to bother testing or debugging it, since I already PROVED
> it will work (under the assumption that long integers are 32 bits, that
the
> parameter N (below) is <= 31, that you're compiling with an ANSI-C
compiler,
> and your system has sufficient memory.).

-- Amazing a person with provably correct fingers!

From a thread on testing vs. proving.

Related: