Syntax Directed Semantics, Summer Term 2006
Organization
The lecture takes place twice a week in room GRU 350: Monday 09:20-10:50 (DS 2) and Tuesday 11:10-12:40 (DS 3).
The tutorial takes place on Wednesday 13:00-14:30 (DS 4), also in room GRU 350.
There are the following exceptions from this general arrangement:
- May 29th, there is a tutorial instead of the lecture.
- May 31st, there is a lecture instead of the tutorial.
- June 26th, 27th, 28th, and July 3rd and 5th, the lectures and tutorials take place in room GRU 459.
- July 4th, the lecture takes place in room GRU 454.
Lecture Material
A script for this lecture is not available.
Therefore, students are advised to copy what is written on the blackboard.
For reference to original papers on which this lecture is based, the bibliography is made available here:
A formalization of run semantics for wtas, along with the proof of equivalence to initial algebra semantics, can be found here:
Exercise Sheets
Last Updated: July 2006,
Janis Voigtlaender.