Jeremy Weissmann
a calm hedonist
Home | The JAWs | The EXs
Main | 0-99 | 100-199
Here is my collection of JAWs. JAW0 was completed 18 October 2004, and I've been going strong since then. (And even since a little before then.) I welcome comments on these, especially the correction of errors! You can mail me at: my first name (at) this website .
I use the following conventions in the references:
- DP = A Discipline of Programming
- LADM = A Logical Approach to Discrete Math
- MOM = On a Method of Multiprogramming
- PC = Program Construction
- PCPS = Predicate Calculus and Program Semantics
- PDA = Programming: The Derivation of Algorithms
- SMA = On the Shape of Mathematical Arguments