Formal Semantics of Programming Languages

虞慧群yhq@ecust.edu.cn

形式语义学Syllabus

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

Topics

Introduction (2 Lecture)Operational semantics (2) Principles of induction (2) Denotational semantics (3)Axiomatic semantics (3) Advanced issues (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, 19962. Fred KrÖger. Temporal Logic of Programs. Springer-

Verlag, 1988

Grading

Class Attendance & Performance (20%) Report (80%)

Submission due date: January 8, 2012