Here is a collection of my technical notes, called ARMs after my initials. They are numbered sequentially starting from 0, and are shared as downloadable PDF files. The references used in the table are elaborated upon at the bottom of the page.

Number | Date (Y.M.D) | Name | References |
---|---|---|---|

ARM0 | 2004.10.5 | Programming as a mathematical discipline | DP |

ARM1 | 2005.11.15 | Being aware of the choices we make | |

ARM2 | 2006.01.30 | An exercise in calculation | |

ARM3 | 2006.05.07 | The problem of the 21 students | |

ARM4 | 2007.03.28 | The top of the hill | WF214 |

ARM5 | 2007.4.9 | The lexicographic relationship between two arrays | WF118 |

ARM6 | 2007.07.05 | The tale of an eventually periodic sequence | with Jeremy Weissmann |

ARM7 | 2007.11.15 | Designing a proof of unique factorization | (with Jeremy Weissmann) EWD755 |

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