COP 5021 Lecture -*- Outline -*-

	meeting 1
* interprocedural

* shape-analysis
    using predicate abstractions