Differences

This shows you the differences between two versions of the page.

--- course_outline [2010/03/02 04:21] – jonathan
+++ course_outline [2010/03/04 04:57] (current) – jonathan
@@ Line 77: / Line 77: @@
-===== Week 10: March 1=====
+===== Week 10: March 8=====
+Complete the refinement/proof of the sort program.
+Dijkstra [[http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF|guarded command language]] and proofs of loops via variants and invariants.
 Chapter XVI: Location access controller