| |||||||||
The Cruelty of Really Teaching Computer Science is a paper by E. W. Dijkstra, which argues that computer programming should be understood as a branch of mathematics, and that the formal provability of a program is the only criterion for correctness.
Dijkstra's position is controversial among software engineering proponents.