COP 5021 Lecture -*- Outline -*-

	meeting 1

* intraprocedural

* monotone-frameworks

* interprocedural

* shape-analysis

* shape-analysis2
    a version using predicate abstractions