AG Programmiersprachen und Übersetzerkonstruktion

Masterabschlussseminar / Masterseminar - Programmiersprachen: Wintersemester 2017/2018

Im Rahmen dieses Seminars berichten Masterstudierende der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion über Ihre aktuellen Arbeiten. Die Vorträge finden in der Regel Mittwochs, 8:30 Uhr in Raum 715 statt.

  • Freitag, 23.02.2018 ab 11:30 Uhr Jonas Busse
    Parallele funktionale Arrays
  • Mittwoch, 07.02.2018 Jan-Hendrik Matthes
    Formalisierung der getypten Assemblersprache TAL-0 mit dem Beweisassistenten Coq
    Niels Bunkenburg
    Ein Typsystem für Curry in “Locally Nameless Representation
  • Mittwoch, 31.01.2018 Marc André Wittorf
    Unboxed Repräsentationen in Funktionalen Sprachen
    Beginn: 8:30 Uhr
  • Mittwoch, 31.01.2018 Janina Harms
    PLTRedex als Werkzeug zum Modellieren und Testen von operationalen Semantiken
    Beginn: 9:15 Uhr
  • Mittwoch, 13.12.2017 Ulrike Buschenhanke
    Deklarative Koordination von graphbasierten parallelen Programmen
    Beginn: 9 Uhr
  • Mittwoch, 08.11.2017 Hauke Brinkop
    Eine Unterapproximation der Äquivalenz von Curry-Termen
  • Mittwoch, 11.10.2017 Jasper Paul Sikorra
    Integration von Curry-Programmen in Webseiten durch Übersetzung nach JavaScript

 

Sommersemester 2017

Wintersemester 2016/2017

Sommersemester 2016

 Wintersemester 2015/2016

 Wintersemester 2014/2015

Sommersemester 2014

Wintersemester 2013/2014