Course personnel | Textbooks | Readings | Schedule | Links

Course personnel

Instructor Phone Email Course Time Place
Yu Zhang 63603804 yuzhang at ustc.edu.cn Monday 15:55~18:20;Thursday 7:50~9:25 3408

Schedule

Part II: Formal Semantics

Part I: Static Program Analysis

Textbooks

Supplementary Readings

Schedule

Links

(Since Sep.13, 2008)