Masterseminar Programmiersprachen und Programmiersysteme (Inf-MS-PS)

Wintersemester 2017
Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion

Nr.ArtTermineRaumVeranstalter
080301S2 / 4 ECTSMittwoch, 8:30-10:00CAP4-715M. Hanus, F. Huch

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

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

Hauke Brinkop: Eine Unterapproximation der Äquivalenz von Curry-Termen in Coq (PDF)

Ulrike Buschenhenke: Deklarative Koordination von graphbasierten parallelen Programmen (PDF)

Marc André Wittorf: Unboxed Repräsentationen in Funktionalen Sprachen (PDF)

Sonstiges

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