pop up description layer
Last modified: 20090407:125532/initial version for 2009

FIT3013 AJH-2009-26

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
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
23 accesses since
02 Feb 2012
My PhotoTrain Photo

Generated at 20120523:0511 from an XML file modified on 20100422:1529
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

193 accesses since 07 May 2010, HTML cache rendered at 20120523:0511