INF.01110.08 - Semantik von Programmiersprachen (Veranstaltungsübersicht)

INF.01110.08 - Semantik von Programmiersprachen (Veranstaltungsübersicht)

INF.01110.08 Institut für Informatik 5 CP

Semantik von Programmiersprachen

Lehrveranstaltungen WiSe 2025/26
Hinweise
Dieses Modul ist ein weiterführendes Modul der Vertiefungsrichtung "Softwaretechnik und Übersetzerbau"
Prüfungsvorleistung Modul
Bearbeitung aller Übungsaufgaben
Prüfungsleistung Modul
mündl. Prüfung oder Klausur
Kompetenzziele
  • Die Teilnehmer*innen sind in der Lage, die wissenschaftlichen Grundlagen zur Definition formaler Semantiken von Programmiersprachen zu verstehen und sie zur Definition formaler Semantiken von Programmiersprachen zu nutzen.
  • Die Teilnehmer*innen sollen beurteilen können, zu welchem Zweck die unterschiedlichen Arten formaler Semantiken von Programmiersprachen eingesetzt werden können.
  • Die Teilnehmer*innen sollen in der Lage sein, auf Basis formaler Semantiken von Programmiersprachen Eigenschaften von Programmiersprachen wie z.B. Typsicherheit zu beweisen.
  • Die Teilnehmer*innen sollen formale Semantiken von Programmiersprachen gegenüber den informellen Sprachdefinitionen validieren können.
Modulteile Semesterveranstaltungen Prüfungsleistung
LV 1: Seminar (Seminar)
LV 2: Übung (Übung)
LV 3: Kursus (Bearbeitung der Übungsaufgaben/Selbststudium)