19304001 Vorlesung

SoSe 22: Semantik von Programmiersprachen

Wolfgang Mulzer

Kommentar

Inhalt:

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

Literaturhinweise

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 ... Lesen Sie weiter

14 Termine

Zusätzliche Termine

Fr, 29.07.2022 10:00 - 12:00
Klausur

Regelmäßige Termine der Lehrveranstaltung

Fr, 22.04.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 29.04.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 06.05.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 13.05.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 20.05.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 27.05.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 03.06.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 10.06.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 17.06.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 24.06.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 01.07.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 08.07.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 15.07.2022 10:00 - 12:00
Semantik von Programmiersprachen
Fr, 22.07.2022 10:00 - 12:00
Semantik von Programmiersprachen

Studienfächer A-Z