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
Last revisionBoth sides next revision
course_outline [2010/03/04 04:46] – jonathancourse_outline [2010/03/04 04:47] – jonathan
Line 81: Line 81:
 Complete the refinement/proof of the sort program. Complete the refinement/proof of the sort program.
  
-Dikstra guarded command language, and proofs of loops via variants and invariants.+Dijkstra 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