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

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)

Janina Harms: PLTRedex als Werkzeug zum Modellieren und Testen von operationalen Semantiken (PDF)

Niels Bunkenburg: A Type System for Curry in Locally Nameless Representation (PDF)

Jan-Hendrik Matthes: Formalisierung der getypten Assemblersprache TAL-0 mit dem Beweisassistenten Coq (PDF)

Sonstiges

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