19304001
Vorlesung
SoSe 22: Semantik von Programmiersprachen
Wolfgang Mulzer
Kommentar
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:00Klausur
Regelmäßige Termine der Lehrveranstaltung
Fr, 22.04.2022 10:00 - 12:00
Fr, 29.04.2022 10:00 - 12:00
Fr, 06.05.2022 10:00 - 12:00
Fr, 13.05.2022 10:00 - 12:00
Fr, 20.05.2022 10:00 - 12:00
Fr, 27.05.2022 10:00 - 12:00
Fr, 03.06.2022 10:00 - 12:00
Fr, 10.06.2022 10:00 - 12:00
Fr, 17.06.2022 10:00 - 12:00
Fr, 24.06.2022 10:00 - 12:00
Fr, 01.07.2022 10:00 - 12:00
Fr, 08.07.2022 10:00 - 12:00
Fr, 15.07.2022 10:00 - 12:00
Fr, 22.07.2022 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 ... Lesen Sie weiter