AG Programmiersprachen und Übersetzerkonstruktion

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

 Wintersemester 2014/2015

Sommersemester 2014

Wintersemester 2013/2014