| Last modified: 20070227:093418/version for 2007 | CSE4213 AJH-2007 |
Lecture 04: Abstract Machines
Abstract Machines | Demonstration
Abstract Machines
| presentation | slides as given in lectures, with multiple slides per points | 63 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 17 pages |
| notes | the slides reduced to note form, even more suitable for printing | 6 pages |
In this lecture, we visit the theory of abstract machines. Abstract Machines are the basis for B Specifications.
Demonstration
| presentation | slides as given in lectures, with multiple slides per points | 37 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 12 pages |
| notes | the slides reduced to note form, even more suitable for printing | 2 pages |
If time permits, we will visit a demonstration of the B Toolkit, using the Coffee Club 0 machine.
previous lecture next lecture
Document History
| 20070227:093418 | 6.0.0 | ajh | version for 2007 |
