see also the index (by topic, by tool, by reference, by year)
Historical examples
Examples from famous papers
- Boyer and Moore's MJRTY algorithm (1980)
- Dijkstra's Dutch Flag, Java version
- Flexible Arrays
- Hoare's Proof of a Program: FIND
- Just Join
- McCarthy 91 function, Java version
- McCarthy's 91 function
- Program proofs from Floyd's Assigning Meanings to Programs (1967)
- Proof from Turing's Checking a Large Routine (1949)
- Space-Saving Algorithm
- White and black balls
see also the index (by topic, by tool, by reference, by year)