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


deno.txt · 上一次變更: 2010/07/08 15:14 來自 trc
最近更新 · 顯示頁面來源 · 登入