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 Ausarbeitungen sind nur im Netz der CAU Kiel zugreifbar!

Karsten Pietrzyk: Guided Type Debugging (PDF)

(Betreuer: Björn Peemöller)

• Sheng Chen and Martin Erwig: Guided Type Debugging, Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014), 35-51, 2014

Sven Hüser: Picat: eine Multiparadigmen-Programmiersprache (PDF)

(Betreuer: Jan Tikovsky)

• PICAT
• Neng-Fa Zhou, Masato Tsuru, Eitaku Nobuyama: A Comparison of CP, IP, and SAT Solvers through a Common Interface. ICTAI 2012: 41-48
• Neng-Fa Zhou: Combinatorial Search With Picat. CoRR abs/1405.2538 (2014)

Stefan Röpstorff: Nahtlose und typsichere Web-Programmierung (PDF)

(Betreuer: Michael Hanus)

• Anton Ekblad and Koen Claessen. A Seamless, Client-Centric Programming Model for Type Safe Web Programming, Haskell Symposium 2014

Jan-Patrick Baye: Functional Reactive Programming with Elm (PDF)

(Betreuerin: Sandra Dylus)

• Elm
• Evan Czaplicki: Elm: Concurrent FRP for GUIs

Katharina Rahf: Soft Contract Verification (PDF)

(Betreuer: Michael Hanus)

• Nguyen, P.C. and Tobin-Hochstadt, S. and Van Horn, D.: Soft Contract Verification, ICFP 2014

Finn Teegen: Idris: A Functional Programming Language with Dependent Types (PDF)

(Betreuerin: Sandra Dylus)

• Agda
• Ana Bove, Peter Dybjer and Ulf Norell. A Brief Overview of Agda -- A Functional Language with Dependent Types. In the proceedings of TPHOLs 2009
• Ulf Norell and James Chapman. Dependently Typed Programming in Agda

Stefan Exner: Transaktionen

Jakob Schikowski: Graphmorph-Algorithmen

Jan Clemens Gehrke: LVar deterministische, nebenläufige Programmierung

Oliver Kwast: Haste.App - Ein funktionales Programmiermodel für Webanwendungen

Sonstiges

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