Comment by robert_tweed
12 years ago
It was, but Knuth called it "Hoare's Dictum". All the evidence seems to suggest it was Knuth himself that coined the phrase though.
12 years ago
It was, but Knuth called it "Hoare's Dictum". All the evidence seems to suggest it was Knuth himself that coined the phrase though.