Jeremy Weissmann :
the calm hedonist

Home | Manifesto | The JAWs | Defining Jeremy

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