Recent Articles



































The Cruelty of Really Teaching Computer Science



         


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.

[Top]




  View Live Article   This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License