19304001 Lecture

SoSe 22: Semantics of Programming Languages

Wolfgang Mulzer

Comments

Inhalt:

Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze ... read more

Suggested 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 ... read more

14 Class schedule

Additional appointments

Fri, 2022-07-29 10:00 - 12:00
Klausur

Regular appointments

Fri, 2022-04-22 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-04-29 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-05-06 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-05-13 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-05-20 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-05-27 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-06-03 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-06-10 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-06-17 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-06-24 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-07-01 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-07-08 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-07-15 10:00 - 12:00
Semantik von Programmiersprachen
Fri, 2022-07-22 10:00 - 12:00
Semantik von Programmiersprachen

Subjects A - Z