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
course_outline [2010/03/04 04:47] – jonathancourse_outline [2010/03/04 04:57] (current) – jonathan
Line 81: Line 81:
 Complete the refinement/proof of the sort program. Complete the refinement/proof of the sort program.
  
-Dijkstra guarded command language, and proofs of loops via variants and invariants.+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.txt · Last modified: 2010/03/04 04:57 by jonathan