previous up next
Go backward to While Loops
Go up to Top
Go forward to Reasoning about Least Fixed Points
RISC-Linz logo

Reasoning about Least Fixed Points

Mainly useful for showing equivalences of program constructs.


Author: Wolfgang Schreiner
Last Modification: November 5, 1997

previous up next