We do not maintain this page any more.
Please visit our new web presence for up-to-date informa tion.
Chair of Programming Methodology







Semantik von Programmiersprachen - Lecture

Main page   ||   Lecture   ||   Exercises


Contact

Prof. Dr. Peter Müller
Peter.Mueller@inf.ethz.ch
RZ J9
Announcements

  1. 15.04.04: Slides of first three lectures have been revised and debugged.

Schedule

Thursdays 09:00 - 11:00 in IFW B 42.

Lecture Date Title Content
1 01.04.2004 Introduction Slides  Handouts
2 08.04.2004 Natural semantics Slides  Handouts
3 15.04.2004 Structural operational semantics Slides  Handouts
4 22.04.2004 Equivalence Theorem Slides  Handouts
5 29.04.2004 Type Systems Slides  Handouts
6 06.05.2004 Direct Style Specification Slides  Handouts
7 13.05.2004 Fixed Point Theory Slides  Handouts
8 27.05.2004 Existence and Equivalence Slides  Handouts
Slides  Handouts
9 03.06.2004 Extensions of IMP Slides  Handouts
10 10.06.2004 Hoare logic Slides  Handouts
11 17.06.2004 Guest lecture by Robert Stärk Slides  Handouts
12 24.06.2004 Soundness and Completeness Slides  Handouts
13 01.07.2004 Semantics of COOL Slides  Handouts
Offered student projects Slides
Exam

The exam will take place on 27.09.04., 9:00-10:30 in room HG G5. Participants should be there at 8:45 at the latest!
The exam is written and will take 90 minutes. No written or printed notes or books can be used. However, we will provide you the semantic rules and lemmas that are needed for the tasks.
Exam   Solution