 |
Programming Semantics and Programming Methodology |
| Teaching OO using Java |
| Calculational logic |
| festive occasions |
| ABC book |
| CS Faculty over the years |
| CS@Cornell |
| The Triple-I Administration |
| How Bush Operated |
| About the course (pdf file) | |
| Book (pdf file) | |
| Calculational logic | |
| Propositional logic (pptx file) | |
| Quantification (pptx file) | |
| Theorems of the logic (pdf file) | |
| Formal development of programs | |
| Semantics (pptx) | |
| Program development (pptx) | |
| Standard strategy --strengthen invariant (pdf) | |
| 2048 assignment (pdf) | |
| Schorr-Waite graph marking algorithm (pdf) | |
| Inverting programs (pptx) | |
| Interesting papers to read | |
| Dijkstra Turing Award (The humble programmer) | |
| Hoare Turing Award (The emperor's old clothes) | |
| Dijkstra address at retirement symposium | |