pop up description layer
| Last modified: 20090407:125532/initial version for 2009 | |
Refinement - The Square Root Machine
The Square Root Machine - An Introduction to Refinement
The Square Root Machine - An Introduction to Refinement
| slides | slides as given in lectures, with multiple slides per point | 78 pages |
| notes | the slides reduced to note form, more suitable for printing | 12 pages |
In this lecture, we introduce the notion of refinement through a worked example of a square root extracting machine (integer only)
previous: LM5: Library Case Study next: LM7: Substitutions
Document History
| 20090407:125532 | 8.0.0 | ajh | initial version for 2009 |
