Nummer

INFO-4241
Titel

Programmiersprachen II
Lehrform(en)

Vorlesung, Übung
ECTS 6
Arbeitsaufwand
- Kontaktzeit
- Selbststudium
Arbeitsaufwand:
180 h
Kontaktzeit:
60 h / 4 SWS
Selbststudium:
120 h
Veranstaltungsdauer 1 Semester
Häufigkeit des Angebots Unregelmäßig
Unterrichtssprache Englisch
Prüfungsform

Schriftliche oder mündliche Prüfung. Die Teilnahme an Übungen ist Voraussetzung für die Prüfungsteilnahme.

Inhalt

In dieser Vorlesung geht es um die Semantik und die Typsysteme moderner Programmiersprachen. Wir diskutieren die Grundlagen von Programmiersprachen mit formaler Semantik (z.B. kleinschrittige operationale Semantik), formale Typsysteme und ihre Eigenschaften sowie verschiedene Varianten typisierter Lambda-Kalküle, die die Grundlage für moderne Typsysteme bilden.

Qualifikationsziele

Die Studierenden sind in der Lage, moderne Programmiersprachen im Hinblick auf die Eigenschaften ihrer theoretischen Grundlagen zu diskutieren und zu analysieren. Sie verstehen den Entwurfsraum und die Kompromisse von Typsystemen für diese Sprachen.

Vergabe von Leistungspunkten/Benotung
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%)
Teilnahmevoraussetzungen INF3181 Programmiersprachen I
Dozent/in Brachthäuser, Ostermann
Literatur / Sonstiges

Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2003.

Zuletzt angeboten Wintersemester 2021
Geplant für Wintersemester 2024
Zugeordnete Studienbereiche INFO-INFO, INFO-PRAK, INFO-THEO, MEDI-APPL, MEDI-INFO, ML-CS