Vorlesung am 10.2.2021 fällt aus!

In dieser Lehrveranstaltung untersuchen wir fortgeschrittene Konzepte von Programmiersprachen. Wir werden unterschiedliche Methoden kennenlernen die Semantik von Programmiersprachen zu definieren (operationelle Semantik, denotationelle Semantik) und formal Eigenschaften von Programmiersprachen zu beweisen. Ein besonderer Schwerpunkt der Lehrveranstaltung ist die Definition und Analyse von statischen Typsystemen. Das Ziel dieser Lehrveranstaltung ist ein tieferes Verständnis von modernen Programmiersprachen und eine Vorbereitung darauf, aktuelle Forschungsarbeiten in dem Bereich zu verstehen.

Team

• Klaus Ostermann
  HeadKlaus Ostermann
• Philipp Schuster
  AlumniPhilipp Schuster

Zeit und Ort

Vorlesung: Mittwoch 10:00 bis 12:00, TBA

Übung: Mittowch, 12:15 bis 13:45, Link im Forum

• Eintrag im Vorlesungsverzeichnis: Alma

Forum

Bitte melden Sie sich mit ihrer studentischen Emailadresse in unserem Forum an. Senden Sie dann eine private Nachricht an Philipp Schuster mit ihrer Matrikelnummer, ihrem Studiengang, und ihrem angestrebten Abschluss (BSc/MSc).

Exam

The exam will be on Wednesday, February 24 at 15:30 (s.t.) in Hörsaal N5 on Morgenstelle.

Lecture Notes

• SOS
• STLC
• Subtyping and System F
• Type Inference and Curry-Howard
• Featherweight Java
• Existential Types
• Higher-Order Types

Videos

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.