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, see below.
The final grade is 3/4 of your written exam grade + 1/4 of your assignment grade.
The course is "live", but due to an injury of the teacher, the first 4 weeks of the course (and maybe a few more weeks) will be taught online, via zoom. The link will be provided via brightspace.
Year-week | Order | Date and Location | Material | Exercises |
---|---|---|---|---|
36 | 1 | 7/9, online (zoom) | Notes and Section 1.1 of DENS | exercises, 13/9 |
37 | 2 | 14/9, online (zoom) | Section 1.2 of DENS and recap of Operational Semantics of "While" | exercises, 20/9 |
38 | 3 | 21/9, online (zoom) | Sections 2.1, 2.3, 3.1 of DENS (skip 2.2, slide 27 and 2.4) | exercises, 27/9 |
39 | 4 | 28/9, online (zoom) | Sections 2.2, 2.4, 3.2 of DENS | exercises, 4/10 |
40 | 5 | 5/10, MERC I 00.28 | Sections 3.3, 4.1, 4.2 of DENS | exercises, 11/10 |
41 | 6 | 12/10, MERC I 00.28 | Sections 4.3, 5.1, 5.2, 5.3 of DENS | exercises, 18/10 |
42 | 7 | 19/10, MERC I 00.28 | Sections 5.4, 5.5, 5.6 of DENS + presentation of the assignment | exercises, 8/11 |
43, 44 | No lectures, autumn break | |||
45 | 8 | 9/11, HG00.303 | Chapter 6 of DENS | exercises, 15/11 |
46 | 9 | 16/11, HG00.303 | Chapter 7 of DENS | exercises, 22/11 |
47 | 10 | 23/11, HG00.303 | Chapter 8 of DENS and Stable models first part | exercises 1--4, 29/11 |
48 | 11 | 30/11, HG00.303 | Stable models continued | exercises 5--10, 6/12 |
49 | 12 | 7/12, HG00.303 | Lambda calculus recap and Models of lambda calculus: the notes of Berline | exercises, 13/12 |
(If lambda calculus is new: read the Introduction to Lambda Calculus and try ex. 2.5 -- 2.10.) | ||||
50 | 13 | 14/12, HG00.303 | Sections 3.1, 3.2 and 3.3 of GI2 | exercises, 20/12 |
51 | 14 | 21/12, HG00.303 | Chapter 4 of GI2 | exercises |
3 | 20/1, 12:45-15:45, HG00.071 | 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 January 20. The resit deadline for the assignment
is ??.
In the assignment, you are requested to apply your knowledge on
denotational semantics to a concrete programming language or
programming concept (of your own choice). This should result in a
short note (max 10 pages). See the
assignment explanation. Your work should be sent to the teacher via
mail, as a pdf file. You can do the assignment in couples; please
write clearly on the title page the names and student numbers of the
authors of the assignment.