Denotational Semantics

Lecturers: 莊庭瑞 Tyng-Ruey Chuang.

The purpose of this course is to equip students with some knowledge about basic domain theory, and about denotational semantics of functional programs and While programs.

• Lecture notes (2010-07-08 updated).
• Slides (2010-07-08 updated).
• In-class exercise.
• homework.
• Another In-class exercise (new).

• The While language (covered in this summer school)
• Operational semantics (covered in this summer school)

• Complete Partial Orders (cpo)
• Functionals and fixed points
• Direct style semantics for the While language

• Hanne Riis Nielson and Flemming Nielson, Semantics with Applications: An Appetizer, Springer. (Chapters 5, 6 & 7)

• Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to programming Language Theory, MIT Press. (Reference only)