CSE6411

User Tools

Site Tools

You are here: CSE6411-W10 » Course Outline
Trace:
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 revision		Previous revision
course_outline [2010/03/02 04:21] – jonathancourse_outline [2010/03/04 04:57] (current) – jonathan
Line 78: Line 78:
  
 ===== Week 10: March 8===== ===== 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 Chapter XVI: Location access controller
course_outline.1267503714.txt.gz · Last modified: by jonathan