formal semantics of programming language s
DESCRIPTION
Formal Semantics of Programming Language s. 形式语义学 Syllabus. 虞慧群 [email protected]. Course Description. Aim: Mathematics, techniques and concepts for understanding and reasoning about how programs behave. Instructor: Huiqun Yu E-mail: [email protected] - PowerPoint PPT PresentationTRANSCRIPT
Course Description
Aim: Mathematics, techniques and concepts for
understanding and reasoning about how programs behave.
Instructor:
Huiqun Yu
E-mail: [email protected]
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