e/The Cruelty of Really Teaching Computer Science

Information
has gloss	eng: “The Cruelty of Really Teaching Computing 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.
lexicalization	eng: The Cruelty of Really Teaching Computer Science
instance of	c/Computer science papers