CS 641 unit -*- Outline -*- meeting 1 * intro (posted to newsgroup) * semantics-overview meetings 2-3 * hoare69 meetings 4-5 * dijkstra75