1 / 5

Formal Semantics of Programming Language s

Formal Semantics of Programming Language s. 形式语义学 Syllabus. 虞慧群 yhq@ecust.edu.cn. Course Description. Aim: Mathematics, techniques and concepts for understanding and reasoning about how programs behave. Instructor: Huiqun Yu E-mail: yhq@ecust.edu.cn

jescie-rodgers
Download Presentation

Formal Semantics of Programming Language s

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  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: • Eike Best. Semantics of Sequential and Parallel Programs. Prentice-Hall, 1996 • Fred KrÖger. Temporal Logic of Programs. Springer-Verlag, 1988

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

More Related