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 en Correctheid 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.) This will be explained in week 16. This should result in a short note (max 10 pages). See the assignment explanation. The deadline for the assignment is July 1
The final grade is 3/4 of your written exam grade + 1/4 of your assignment grade.
Look below for updated information on the weekly schedule!
Year-week | Order | Date and Location | Material | Exercises |
---|---|---|---|---|
6 | 1 | 7/2, HG00.071 | Chapter 1 of DENS and notes | exercises, 9/2, HG00.114 |
7 | No lectures, carnaval week | |||
8 | 2 | 21/2, HG00.071 | Chapter 1 of DENS | exercises, 23/2, HG00.114 |
9 | 3 | 28/2, HG00.071 | Section 2.1 of DENS | exercises, 2/3, HG00.114 |
10 | 4 | 7/3, HG00.071 | Chapter 2-3 of DENS until Section 3.2 (p. 23) | exercises, 9/3, HG00.114 |
11 | 5 | 14/3, HG00.071 | Section 3.2, 3.3, Chapter 4 of DENS until slide 21 | exercises, 16/3, HG00.114 |
12 | 6 | 21/3, HG00.071 | Chapter 4 of DENS until page 36 | exercises, 23/3, HG00.114 |
13 | 7 | 28/3, HG00.071 | Chapter 5 of DENS, until page 45 | exercises, no werkcollege: goede vrijdag |
14 | No lectures | |||
15 | 8 | 11/4, HG00.114 | end of Chapter 5 + Chapter 6 of DENS until page 54 | exercises, 13/4, HG00.114 |
16 | 9 | 18/4, HG00.114 | end of Chapter 6 + Chapter 7 (not everything) of DENS | exercises, 20/4, HG00.114 |
17 | 10 | 25/4, HG00.114 | Chapter 8 of DENS + presentation of the assignment | exercises, no werkcollege: koningsdag |
18 | No lectures, May break | |||
19 | 11 | 9/5, HG00.114 | Stable models: notes and exercises | exercises, no werkcollege: hemelvaartsdag |
20 | 12 | 16/5, HG00.114 | Stable models continued: notes and exercises + | exercises, 18/5, HG00.114 |
lambda calculus revisited | ||||
21 | 13 | 23/5, HG00.114 | Models of lambda calculus: the notes of Berline | exercises, 25/5, HG00.114 |
22 | 14 | 30/5, HG00.114 | Sections 3.1, 3.2 and 3.3 of GI2 | exercises, 1/6, HG00.114 |
23 | 15 | 6/6, HG00.114 | Chapter 4 of GI2 | exercises, 8/6, HG00.114 |
24 | 16 | 13/6, HG00.114 | Recap + questions | no class on 15/6 |
25 | Work on the assignment, No lectures | |||
27 | 3/7, 13:30-14:30, Mercator ground floor | Question hour | ||
27 | 4/7, 12:30-15:30, HG00.062 | 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 1/7
The final grade is 3/4 of your written exam grade + 1/4 of your assignment grade.