formal semantics of programming language s
Post on 31-Dec-2015
33 Views
Preview:
DESCRIPTION
TRANSCRIPT
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
top related