Folds
Unfolds
Unfold on Lists
Folds v.s. Unfolds
Hylomorphism
Wrapping Up
The Guarded Command Language
Procedural Program Derivation
Taking Conjuncts as Invariants
Replacing Constants by Variables
Strengthening the Invariant
Tail Invariants
Maximum Segment Sum, Procedually
Wrapping Up
Grading: Class Participation 10%, Homework 40%, Final (2008/07/11) 50%.
Some suggested reading:
-
-
Some papers from
H. Zantema on list segment problems.
-
-