1 Iterative Program Analysis Part I Mooly Sagiv msagiv/courses/pa.html Tel Aviv University 640-6706 Textbook: Principles of Program.
Pointer and Shape Analysis Seminar msagiv/courses/shape.html Mooly Sagiv Schriber 317 msagiv@post Office Hours Thursday 15-16.