COP 5021 Lecture -*- Outline -*-

	meeting 1

* overview

* denotational

* operational

* correctness