CSE 127: Lecture 14
The topics covered in this lecture are hints for homework 3, and
proofs of correctness.
The notion of ``weakest precondition''.
See the handout from lecture 12.
Next time, we will do quicksort.
These are links additional security-related information. Exploring
them is optional unless otherwise stated.
search CSE |
bsy's home page |
pgp certserver |
firstname.lastname@example.org, last updated Wed Mar 5 02:04:02 PST 2003. Copyright 2003 Bennet Yee.