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.

Course Materials


  • 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


en/deno.txt · Last modified: 2010/07/08 15:14 (external edit)
Recent changes · Show pagesource · Login