Masterabschlussseminar / Masterseminar - Programmiersprachen: Wintersemester 2015/2016
- Mi. 04.11.15 Karsten Pietrzyk
Entwicklung plattformunabhängiger GUI-Anwendungen mit DSLs
- Mi. 11.11.15 Sven Hüser
Implementierung von Constraint-Lösern für Curry mittels SMT
- Mi. 18.11.15 Jan Clemens Gehrcke
Monoton wachsende Datenstrukturen in Transaktionen
- Mi. 25.11.15 Katharina Rahf
Style Checking for Curry Programs
- Mi. 02.12.15 Julia Krone
Integration of SQL into Curry
- Mi. 09.12.15 Jan-Patrick Baye
CurryCheck - Unifying Curry's Testing Framework
- Mi. 16.12.15 Karl Balzer
Transactional Memory: Invyswell und BlueGene/Q TM, Ausarbeitung
- Do. 17.12.15 Oliver Kwast
Entwicklung einer verteilten Programmierumgebung zum gleichzeitigen Bearbeiten von Programmcode
- Mi. 13.01.16 Jonas Oberschweiber
Lenses and Lens Laws
- Mi. 20.01.16 Thorben Droste
Functional Reactive Programming with Liveness Guarantees, Ausarbeitung
- Mi. 27.01.16 Thomas Ulrich
Statisches Erkennen von race conditions, Ausarbeitung
- Mi. 03.02.16 Mike Tallarek
Verbesserung von Haskell-Typen mit SMT
- Mi. 10.02.16 Lasse Kristopher Meyer
Typsichere Web-Programmierung mit Servant
- Mi. 17.02.16 Thomas Rossow
Concolic Testing in imperativen und funktionalen
Programmiersprachen
- Mi. 24.02.16 Jens Christopher Schröder
Concolic Testing in imperativen und funktionalen
Programmiersprachen
- Mi. 09.03.16 Finn Teegen
Erweiterung von Curry um Typkonstruktorklassen
- Mo. 21.03.16 Stefan Exner
Entwicklung eines abschnittbasierten, softwaregestützten
Transaktionssystems für Ruby und seine Verwendung
in Ruby on Rails
- Mi. 23.03.16 Sven Hüser
Implementierung von Constraint-Lösern
für Curry mittels SMT
- Mi. 23.03.16 Jasper Paul Sikorra
Funktional-logische Programmierung in Maude