CSE 127: Lecture 14

The topics covered in this lecture are hints for homework 3, and proofs of correctness.

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 | CSE | bsy's home page | links | webster | MRQE | google | yahoo | citeseer | pgp certserver | openpgp certserver ]
picture of bsy

bsy+cse127.w03@cs.ucsd.edu, last updated Wed Mar 5 02:04:02 PST 2003. Copyright 2003 Bennet Yee.
email bsy.

Don't make me hand over my privacy keys!