Donald Knuthborn 1938Beware of bugs in the above code; I have only proved it correct, not tried it.
Closing line of a memo, “Notes on the van Emde Boas construction of priority deques: An instructive use of recursion” (1977)
Donald Knuthborn 1938Donald Knuthborn 1938Beware of bugs in the above code; I have only proved it correct, not tried it.
