![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| semantics7.ptt..ppt | 2001-11-21 14:40 | 66K | |
| denotational.txt | 2008-12-02 18:42 | 453 | |
| axiomatic.txt | 2008-12-02 18:59 | 10K | |
| axiomatic.ps | 2005-01-27 10:28 | 154K | |
| axiomatic.pdf | 2008-11-15 19:40 | 41K | |
| Axiomatic_Semantics/ | 2009-01-08 21:14 | - | |
| 8.parameterisation1.ppt | 2002-05-02 17:57 | 47K | |
| 7.abstraction.ppt | 2001-12-12 14:25 | 39K | |
| 6a.arrays.ppt | 2001-12-12 14:59 | 40K | |
| 6.contexts.ppt | 2001-12-05 14:54 | 43K | |
| 5.axiomatic_semantics.ppt | 2001-11-27 15:50 | 49K | |
| 4.semantics7.ptt.ppt | 2001-11-28 11:33 | 126K | |
| 3.semantics6.ppt | 2001-11-07 13:51 | 41K | |
| 2.Semantics5.ppt | 2001-10-18 02:32 | 77K | |
| 1.semantics1-4.ppt | 2001-10-17 17:21 | 168K | |