User Tools

Site Tools


course_outline

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
course_outline [2010/03/02 04:21] jonathancourse_outline [2010/03/04 04:46] jonathan
Line 78: Line 78:
  
 ===== Week 10: March 8===== ===== Week 10: March 8=====
 +
 +Complete the refinement/proof of the sort program.
 +
 +Dikstra guarded command language, and proofs of loops via variants and invariants.
  
 Chapter XVI: Location access controller Chapter XVI: Location access controller
course_outline.txt · Last modified: 2010/03/04 04:57 by jonathan