Skip to main content
50 years ago
40 years ago
30 years ago
Dijkstra's Rallying Cry for Generalization
Request new password
Enter your Dijkstra's Rallying Cry for Generalization username.
Enter the password that accompanies your username.
The POPL Gatekeeper
Parnas and Chaudhuri
Deep Specification and Andrew Appel
Analysis Tools and Michael Hicks
Technical Artefacts and John Reynolds
Category Mistakes in Computer Science
Wittgenstein — cars — Turing
Getting Software Right
Michael A. Jackson
Dijkstra's chair (Courtesy of W.H.J. Feijen)
Picture of EWD (Courtesy of Michiel Wijers)
Why Did Computer Science Make a Hero out of Turing?
Knuth and P = NP
3 of 11
McCarthy and Shapiro (1987)
Common Sense on Self-Driving Cars
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
what do you think I'm going to say? :-)
Boyer & Moore
Fetzer and finiteness
1 of 8
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth