He probably would not have chosen that. Another piece of Dijkstra lore is that he really hated the term "bug". He said that by using this term the programmer tried to avoid his responsibility for making correct programs by suggesting that errors somehow creep into your program out of their own volition through no fault of the programmer.
Dijkstra was really hard core in terms of correctness. He insisted that each programmer had to work out a mathematical proof that his program will always provide correct output for every single possible input, and submit that proof when submitting the program. Things did not work out that way.
Dijkstra was really hard core in terms of correctness. He insisted that each programmer had to work out a mathematical proof that his program will always provide correct output for every single possible input, and submit that proof when submitting the program. Things did not work out that way.