pop up description layer
Last modified: 20080830:122400/added document number and next lecture link

FIT3013 AJH-2008-21

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 28 pages
notes the slides reduced to note form, more suitable for printing 9 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

20080830:122400 7.1.1 ajh added document number and next lecture link
20080809:123209 7.1.0 ajh replaced with Square Root Machine from KR 2008
20080707:084722 7.0.0 ajh initial version for 2008
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
343 accesses since
10 Aug 2008
My PhotoTrain Photo

Generated at 20090717:1458 from an XML file modified on 20080915:1459
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

759 accesses since 10 Aug 2008, HTML cache rendered at 20120216:0046