Semantics

Worum geht's

Du lernst formale Techniken zur Beschreibung und Analyse der Semantik von Programmiersprachen. Am Ende kannst du verschiedene Semantikstile (operational, denotational, axiomatisch) verstehen und anwenden sowie Semantiken für Sprachkonstrukte definieren und Eigenschaften wie Typsicherheit beweisen.

Was du danach kannst

• Verstehen der wesentlichen Konzepte der Semantik von Programmiersprachen
• Vertieftes Wissen in mindestens einer Semantiktechnik: operational, denotational oder axiomatisch
• Semantiken lesen und deren logische Konsequenzen nachvollziehen
• Semantik einzelner Sprachkonstrukte selbst definieren
• Eigenschaften von Programmen und Semantiken logisch herleiten (z. B. Typsicherheit)
• Werkzeuge wie Compiler und Programmanalysatoren hinsichtlich ihrer semantischen Korrektheit verifizieren

Aus was das Modul besteht

• VorlesungVermittlung der Inhalte und Diskussion im Dialog mit den Studierenden
• ÜbungEinübung der Lernergebnisse an konkreten Aufgaben, einzeln oder in Kleingruppen, mit Tutorunterstützung

Lehrmethode

• VorlesungPräsentation der Inhalte und Erarbeitung im Dialog mit den Teilnehmenden
• ÜbungenPraktische Anwendung und Vertiefung der Konzepte an Aufgaben; ggf. computergestützte Programmier- und Beweisaufgaben
• Tutor betreute KleingruppenarbeitFördert selbstständiges Arbeiten an Beispielen und gemeinsame Lösungserarbeitung