In der Vorlesung “Programmiersprachen II” werden fortgeschrittene Konzepte von Programmiersprachen vermittelt. Als InformatikerInnen verwenden wir täglich Programmiersprachen im Vertrauen darauf, dass sie korrekt implementiert sind. Wie aber stellen die EntwichlerInnen der Programmiersprachen das sicher? In dieser Veranstaltung lernen wir die wesentlichen Konzepte hierzu kennen:

• Operationelle Semantik: Wie können wir die Auswertungsschritte einer Programmiersprache mathematisch präzise beschreiben?
• Typsysteme: Wie können Typsysteme bestimmte Klassen von (fehlerhaften) Programmen ausschließen?
• Wie werden diese formal beschrieben?
• Korrektheitsbeweise: Verhindert das Typsystem, dass Fehler in der Auswertung auftreten?

Teilnahme an der Vorlesung PL1 ist von Vorteil aber nicht notwendig.

Team

• Klaus Ostermann
  HeadKlaus Ostermann
• Marco Tzschentke
  ResearcherMarco Tzschentke

Zeit und Ort

Vorlesung: Donnerstag 14.00-16.00, C214 (Sand 14)

Übung: Donnerstag , 12:00 bis 14:00, C215 (Sand 14)

Die erste Vorlesung findet am 17.10.24 statt und die erste Übung am 24.10.

• Eintrag im Vorlesungsverzeichnis: Alma
• Der Prüfungstermin wird hier verfügbar sein, sobald er feststeht

Forum

Bitte melden Sie sich mit ihrer studentischen Emailadresse in unserem Forum an. Senden Sie dann eine private Nachricht an Marco Tzschentke mit den folgenden Informationsn:

• Voller Name
• Matrikelnummer
• Studiengang (mit Abschluss (BSc/Msc))

Literature

• B.C. Pierce, Types and Programming Languages, MIT Press
• R. Harper, Practical Foundations for Programming Languages, Cambridge University Press, 2013. Eine kostenlose Online-Ausgabe findet sich auf der Homepage des Autors.