Masterseminar Programmiersprachen und Programmiersysteme (Inf-MS-Sem-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!

Jonas Oberschweiber: Lenses and Lens Laws (PDF)

(Betreuerin : Sandra Dylus)

Mike Tallarek: Verbesserung von Haskell-Typen mit SMT (PDF)

(Betreuer: Michael Hanus)

Lasse Kristopher Meyer: Typsichere Web-Programmierung mit Servant (PDF)

(Betreuerin : Sandra Dylus)

Thomas Rossow: Concolic Testing in imperativen und funktionalen Programmiersprachen (PDF)

(Betreuer: Michael Hanus)

Jasper Paul Sikorra: Funktional-logische Programmierung in Maude (PDF)

(Betreuer: Michael Hanus)

Sonstiges

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