19304001
Lecture
SoSe 22: Semantics of Programming Languages
Wolfgang Mulzer
Comments
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:00Klausur
Regular appointments
Fri, 2022-04-22 10:00 - 12:00
Fri, 2022-04-29 10:00 - 12:00
Fri, 2022-05-06 10:00 - 12:00
Fri, 2022-05-13 10:00 - 12:00
Fri, 2022-05-20 10:00 - 12:00
Fri, 2022-05-27 10:00 - 12:00
Fri, 2022-06-03 10:00 - 12:00
Fri, 2022-06-10 10:00 - 12:00
Fri, 2022-06-17 10:00 - 12:00
Fri, 2022-06-24 10:00 - 12:00
Fri, 2022-07-01 10:00 - 12:00
Fri, 2022-07-08 10:00 - 12:00
Fri, 2022-07-15 10:00 - 12:00
Fri, 2022-07-22 10:00 - 12:00
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Semantik von Programmiersprachen
Inhalt:
Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze ... read more