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.
closeSuggested reading
Elfriede Fehr: Semantik von Programmiersprachen, Springer-Verlag 1989
Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction, Wiley 1999
Glynn Winskel: The Formal Semantics of Programming Languages, Foundations of Computing Series, MIT Press, 1993, Vorlesungsskript dazu
14 Class schedule
Additional appointments
Mon, 2017-07-24 10:00 - 12:00Klausur
Wed, 2017-10-11 14:00 - 16:00
Nachklausur
Regular appointments
Tue, 2017-04-18 08:00 - 10:00
Tue, 2017-04-25 08:00 - 10:00
Tue, 2017-05-02 08:00 - 10:00
Tue, 2017-05-09 08:00 - 10:00
Tue, 2017-05-16 08:00 - 10:00
Tue, 2017-05-23 08:00 - 10:00
Tue, 2017-05-30 08:00 - 10:00
Tue, 2017-06-06 08:00 - 10:00
Tue, 2017-06-13 08:00 - 10:00
Tue, 2017-06-20 08:00 - 10:00
Tue, 2017-06-27 08:00 - 10:00
Tue, 2017-07-04 08:00 - 10:00
Tue, 2017-07-11 08:00 - 10:00
Tue, 2017-07-18 08:00 - 10:00
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 ... read more