Programming Languages and Software Technology

Programming Languages 2

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

Zeit und Ort

Vorlesung: Donnerstag, 10 c.t. bis 12 Uhr im Seminarraum C215, Sand 14.

Übung: Donnerstag, 12:30 bis 14:00 Uhr im Seminarraum C215, Sand 14.

  • Eintrag im Vorlesungsverzeichnis: Campus

Lecture Notes

Homework

Literature