1. Formal Semantics of Programming Languages 虞慧群 yhq@ecust.edu.cn 形式语义学 Syllabus

2. Course Description Aim: Mathematics, techniques and concepts for understanding and reasoning about how programs behave. Instructor: Huiqun Yu E-mail: yhq@ecust.edu.cn URL: http://cs.ecust.edu.cn/~yhq/course/fs2011fall.htm

3. Topics Introduction (2 Lecture) Operational semantics (2) Principles of induction (2) Denotational semantics (3) Axiomatic semantics (3) Advanced issues (4)

4. Resources Text: Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993 ( 中译本 : 宋国新，邵志清. 程序设计语言的形式语义. 机械 工业出版社， 2004) References: 1. Eike Best. Semantics of Sequential and Parallel Programs. Prentice-Hall, 1996 2. Fred Kr Ö ger. Temporal Logic of Programs. Springer- Verlag, 1988

5. Grading Class Attendance & Performance (20%) Report (80%) Submission due date: January 8, 2012