Denotational Semantics is about assigning a mathematical meaning to syntax (in particular, that of programming languages) which is, in some sense, independent of how the syntax is presented, or what computational rules it may obey (which are properly the subject matter of Operational Semantics).
Domain Theory is the mathematics of the objects, sets-with-structure, and mappings between them, which serve as a vehicle for denotational semantics.
Fresh up material for those who haven't followed Semantiek and Correctness or Berekeningsmodellen or have forgotten some of that:
Further reading material:
The course is divided roughly into 3 parts:
There is a written exam, which is "open book", so you can take the course notes and your own notes to the exam. Apart from that there is a small assignment, where you are required to apply your knowledge on denotational semantics to a concrete programming language or programming concept. (Of your own choice.) See below. This should result in a short note (max 10 pages). See the assignment explanation. The deadline for the assignment is January 23
The final grade is 3/4 of your written exam grade + 1/4 of your assignment grade.
Year-week | Order | Date and Location | Material | Exercises |
---|---|---|---|---|
36 | 1 | 3/9, HG02:032 | Notes and Section 1.1 of DENS | exercises, 9/9, GR1.143 (Grotius Building), and some answers |
37 | 2 | 10/9, HG00:086 | Section 1.2 of DENS and recap of Operational Semantics of "While" | exercises, 16/9, GR1.143, and some answers |
38 | 3 | 17/9, HG00:086 | Sections 2.1, 2.3 of DENS (!skip 2.2 for and slide 27 now!) | exercises, 23/9, GR1.143 |
39 | 4 | 24/9, HG00:086 | Sections 2.2, 2.4, 3.1, 3.2 of DENS | exercises, 30/9, GR1.143 |
40 | 5 | 1/10, HG00:086 | Sections 3.3, 4.1, 4.2 of DENS | exercises 7/10, GR1.143 |
41 | 6 | 8/10, HG00:086 | Sections 4.3, 5.1, 5.2, 5.3 of DENS | exercises 14/10, GR1.143 |
42 | 7 | 15/10, HG00:086 | Sections 5.4, 5.5, 5.6 of DENS | exercises 4/11, HG00.308 |
43, 44 | No lectures, autumn break | |||
45 | 8 | 5/11, HG02.032 | Chapter 6 of DENS | exercises 11/11, HG00.308 |
46 | 9 | 12/11, HG02.032 | Chapter 7 of DENS + presentation of the assignment | exercises 18/11, HG01.028 |
47 | 10 | 19/11, HG02.032 | Chapter 8 of DENS and Stable models first part | exercises 25/11, HG01.028 |
48 | 11 | 26/11, HG02.032 | Stable models continued | exercises 2/12, HG00.308 |
49 | 12 | 3/12, HG02.032 | Lambda calculus recap and Models of lambda calculus: the notes of Berline | exercises 9/12, HG00.308 |
50 | 13 | 10/12, HG02.032 | Sections 3.1, 3.2 and 3.3 of GI2 | exercises 16/12, HG00.308 |
51 | 14 | 17/12, HG02.032 | Chapter 4 of GI2 | exercises ??, ?? |
??, ??, ?? | Question hour | |||
4 | 23/1, 8:30-11:30, HG00.108 | EXAM |
The written exam is "open book", so you can take the course notes and your own notes to the exam. Dates:
The deadline for the assignment is 23/1
The final grade is 3/4 of your written exam grade + 1/4 of your assignment grade.