Skip to main content

New answers tagged

2 votes

What does Dijkstra mean with his title "on the cruelty of really teaching computing science"?

There is little doubt that the article is a continuation of the well-known long-standing debate about proofs of correctness in programming, program verification, theoretical precision, formalism and ...
Georg Essl's user avatar

Top 50 recent answers are included