Com S 641 Lecture -*- Outline -*-

	meeting 1
* nature

* scene

* data-flow

* constraint-based

* abstract-interpretation

* types