Masterseminar Programmiersprachen und Programmiersysteme (Inf-MS-PS)

Zielgruppe

Studierende im Masterstudiengang Informatik

Voraussetzungen

Grundkenntnisse über Programmiersprachen und Programmierparadigmen

Inhalt

In dem Seminar der Arbeitsgruppe "Programmiersprachen und Übersetzerkonstruktion" werden aktuelle Themen und neuere Entwicklungen im Bereich der Programmiersprachen und und der zugehörigen Programmiersysteme erarbeitet. Dazu gehören z.B. Konzepte für anwendungsspezifische Sprachen, Implementierungstechniken oder Programmierumgebungen.

Vorträge

Eine allgemeine Sammlung von Papieren für Seminarvorträge ist im GIT-Repository der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion zu finden.

Zur Beachtung: Die Papiere/Ausarbeitungen sind nur im Netz der CAU Kiel zugreifbar!

Kai Prott: Kompilation mit oder ohne "continuations" (PDF)

Viktor Reichert: Equational Reasoning in Haskell (PDF)

Cedric Tsatia Tsida: Extended Call-by-push-value und Äquivalenz zwischen Call-by-name und Call-by-need bei divergenten Berechnungen (PDF)

Vorbesprechung

Eine erste Vorbesprechung zu diesem Seminar findet am Freitag, 8.11.2019, um 13:30 Uhr im Raum CAP4-715 (Uni-Hochhaus, 7. Etage) statt.

Sonstiges

Die Hinweise zur Ausarbeitung und zum Seminarvortrag sind unbedingt zu beachten!