AG Programmiersprachen und Übersetzerkonstruktion

Masterabschlussseminar / Masterseminar - Programmiersprachen: Sommersemester 2021

Im Rahmen dieses Seminars berichten Masterstudierende der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion über Ihre aktuellen Arbeiten.

 

Dienstag, 29.06.2021, 10:00 Uhr  
Videokonferenz
Zugang
Generierung und Testen von Gegenbeispielen zu Eigenschaften von Curry-Programmen mit SMT-Lösern
   
Dienstag, 18.05.2021, 9:00 Uhr  
Videokonferenz
Zugang
  • Optimization of functional data structures by composing constructors using higher bases of number systems
  • Erweiterung von Curry um Multiparametertypklassen mit funktionalen Abhängigkeiten
   
Dienstag, 25.05.2021, 9:00 Uhr  
Videokonferenz
Zugang
  • Implementierung eines Curry-Compilers auf Basis eines GHC-Plugins
  • Implementierung einer Turing-vollständigen Markup Language
  • Verwendung einer Effekt-Bibliothek zur Implementierung einer DSL 
  • Property-Testing im Kontext von DB-Interaktion

Wintersemester 2020/2021

Sommersemester 2020

Wintersemester 2019/2020

Sommersemester 2019

Wintersemester 2018/2019

Sommersemester 2018

 

Wintersemester 2017/2018

Sommersemester 2017

Wintersemester 2016/2017

Sommersemester 2016

 Wintersemester 2015/2016

 Wintersemester 2014/2015

Sommersemester 2014

Wintersemester 2013/2014