The Cruelty of Really Teaching Computer Science

"The Cruelty of Really Teaching Computer Science" is a 1988 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 a major criterion for correctness.

Related Topics:
1988 - E. W. Dijkstra - Computer programming - Mathematics - Provability - Program

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Despite the title, most of the article is on Dijkstra's attempt to put computer science into a wider perspective within science, teaching being addressed as a corollary at the end.

Related Topics:
Computer science - Science - Corollary

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Specifically, Dijkstra states a "proposal for an introductory programming course for freshmen" that

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

consists of Hoare logic as an uninterpreted formal system.

Related Topics:
Hoare logic - Formal system

~ ~ ~ ~ ~ ~ ~ ~ ~ ~