COP 5021 Lecture -*- Outline -*-

	meeting 1
* interprocedural2

* shape-analysis2
    a version using predicate abstractions