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