pop up description layer
| Last modified: 20081008:125533/first version for 2008 |
|
LM10: Refinement Revisited
The Queue Machine
The Queue Machine
|
presentation
|
slides used in the presentation (actually an updated version) |
238 slides |
| notes |
the slides reduced to note form, even more suitable for
printing |
34 pages |
|
lectopia
|
an innovative first: the lectopia recording of this
lecture (although the audio is not very good)
|
Refinements as a lattice: a series of refinements to a
full specification
Corrections to the published slides
I have noticed a number of typos in the published slides. As
I don't have the source to correct these slides, I'm
reproducing the list here (numbers refer to slide numbers):
- 181
-
qnext & id(ITEM) = {}
should read
qnext /\ id(ITEM) = {}
(and also in the closure below) The ASCII representation for
intersection is a little too like the conjunction operator!
- 204
- Note the broken right override operator
- 206
- The right override operator should be
replaced by domain subtraction (in both instances).
- 207, 209, 210, 211
- The right override operator should be
replaced by domain subtraction.
- 212
- broken range subtraction operator
- 214
- The right override operator should be
replaced by domain subtraction.
previous:
LM9: The Bridge Problem
next: End of Lectures
Document History
| 20081008:125533 |
7.0.0 |
ajh |
first version for 2008 |
