Donald Knuth Quote

Beware of bugs in the above code; I have only proved it correct, not tried it.


Donald Knuth's webpage states the line was used to end a memo entitled Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977)

Knuth: Frequently Asked Questions[www-cs-faculty.stanford.edu]

Picture Quote 1

Beware of bugs in the above code; I have only proved it correct, not tried it.

Picture Quote 2

Beware of bugs in the above code; I have only proved it correct, not tried it.

Picture Quote 3

Beware of bugs in the above code; I have only proved it correct, not tried it.

Picture Quote 4

Beware of bugs in the above code; I have only proved it correct, not tried it.