Com S 641 Lecture -*- Outline -*-

	meeting 1

* intraprocedural

* theory

* monotone-frameworks

* interprocedural

* shape-analysis