19304001 Lecture

SoSe 17: Semantics of Programming Languages

Wolfgang Mulzer

Comments

Contents:

This class presents techniques for a formal treatment of the semantics (meaning) of a programming language.

We will see different approaches to formally defining the semantics of a language (operational, denotational, and axiometic). We will also discuss applications of these techniques, particularly in compiler construction and in functional programming languages.

close

Suggested reading

14 Class schedule

Additional appointments

Mon, 2017-07-24 10:00 - 12:00
Klausur

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/046 Seminarraum (Takustr. 9)

Wed, 2017-10-11 14:00 - 16:00
Nachklausur

Lecturers:
Max Willert

Location:
T9/055 Seminarraum (Takustr. 9)

Regular appointments

Tue, 2017-04-18 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-04-25 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-05-02 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-05-09 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-05-16 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-05-23 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-05-30 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-06-06 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-06-13 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-06-20 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-06-27 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-07-04 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-07-11 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Tue, 2017-07-18 08:00 - 10:00

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
T9/053 Seminarraum (Takustr. 9)

Subjects A - Z