![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Hoare-logic.dvi | 31-Mar-2009 14:40 | 1.7K | |
| Hoare-logic.pdf | 31-Mar-2009 14:41 | 23K | |
| Reynolds-ex1.pdf | 31-Mar-2009 14:16 | 41K | |
| Reynolds-ex2.pdf | 31-Mar-2009 14:16 | 47K | |
| Reynolds-ex3.pdf | 31-Mar-2009 14:16 | 48K | |
| Reynolds-notes1.pdf | 31-Mar-2009 14:15 | 216K | |
| Reynolds-notes2.pdf | 31-Mar-2009 14:15 | 236K | |
| Reynolds-notes3.pdf | 31-Mar-2009 14:15 | 205K | |
| Reynolds-notes4.pdf | 31-Mar-2009 14:15 | 303K | |
| Reynolds-notes5.pdf | 31-Mar-2009 14:15 | 183K | |
| Reynolds-notes6.pdf | 31-Mar-2009 14:16 | 718 | |
| information-hiding-paper.pdf | 01-Apr-2009 14:14 | 166K | |
| listcopy.pdf | 31-Mar-2009 14:21 | 33K | |
| listdispose.pdf | 31-Mar-2009 14:21 | 14K | |
| listreverse.pdf | 31-Mar-2009 14:21 | 16K | |
| logics-for-dynamic-data.pdf | 31-Mar-2009 14:20 | 1.9M | |