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 |