Programming Pearlsにバグがあったという話

• http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html

Programming Pearlsは２０年ほど前に出て版も重ねた古いけど良本。そのバイナリーサーチ(とマージソート)のコードにバグがあった。バグは変数のオーバーフローの可能性を入れてなかったというもの。

• http://netlib.bell-labs.com/cm/cs/pearls/sketch04.html のPDFとか

バグなしっていうのは難しい。