Karl Ischebeck: Extraktion von Funktionen aus C-Quellcode,
Bachelor thesis, 2022
Elisabeth Schwertfellner: Animierte Ausführung einfacher imperativer Programme zum didaktischen Verständnis, Bachelor thesis, 2022.
Awa Chouatat:
Vergleich von Freshness- und Fixpoint-Constraints in Nominaler Unifikation,
Bachelor thesis, 2022.
David Schmider: Modellierung von Personentransport in vernetzten Systemen, Bachelor thesis, 2022.
Benjamin Saibold:
Ein spielerisches, didaktisches Werkzeug zu endlichen Automaten und regulären Sprachen, Bachelor thesis, 2022.
Maximilian Krumpeck: Algorithms on Tree Languages - Foundations and Implementation of Selected Algorithms, Bachelor thesis, 2022.
Zhu Yang: The Implementation of the Pi-Calculus using Concurrent Haskell, Bachelor thesis, 2022.
Simon Hehnen: Grammatik-komprimierte Darstellung von Matrizen durch Join- und Fork-Operatoren, Bachelor thesis, 2022.
Luise Römhild:
Eine spielerische, webbasierte Lernumgebung für das Minimieren von endlichen Automaten, Bachelor thesis, 2022.
Burak Sale: Varianten der nominalen Unifikation, Bachelor thesis, 2022.
Oliver Schrader: The Probabilistic Lambda-Calculus: Theoretical Foundations and Implementation of an Interpreter
Bachelor thesis, 2022.
Philippe Wehr:
Grundlagen des Quantum-Lambda-Kalküls
Bachelor thesis, 2022.
Leonard Braun:
Varianten von Turingmaschinen
Bachelor thesis, 2022.
Lukas Bartl:
Grundlagen und Anwendungen von Liquid Haskell
Bachelor thesis, 2022.
Yang Mao:
Improving Happy by Type Checking of Parser Specifications
Master thesis, 2021.
Luca Maio:
The Probabilistic Lambda Calculus with Call-by-Need-Evaluation
Bachelor thesis, 2021.
Jakob Ritter:
Implementierung und Vergleich funktionaler Datenstrukturen für Zufallsurnen
Bachelor thesis, 2021.
Tobias Lindebar:
Eine Webanwendung zur interaktiven Demonstration des CYK-Algorithmus
Bachelor thesis, 2021.
Xaver Hellauer:
Overview and Applications for the Programming Language and Verification System Idris
Bachelor thesis, 2021.
Denys Klypkin:
Überblick ¨ber die Kategorientheorie und deren Anwendungen in der funktionalen Programmiersprache Haskell
Bachelor thesis, 2021.
Philipp Zander:
Kontrollierte Ausnahmen für Haskell
Bachelor thesis, 2021.
Georg Schindler:
Ein didaktisches Werkzeug zur Minimierung von deterministischen endlichen Automaten
Bachelor thesis, 2021.
Michael Fink:
Das Graph-Isomorphie-Problem und die GI-Vollständigkeit ausgewählter Probleme zu kontextfreien Grammatiken und Ersetzungssystemen.
Bachelor thesis, 2021.
Thomas Jänich:
Refuting the Correctness of Small Translations from Message-Passing into Shared-Memory Models
Master thesis, 2021.
Staël Wilfried Tchinda Kuete:
Refuting Observational Correctness of Imperative Programming Language Translations.
Bachelor thesis, 2020.
Jens Hartmann:
Funktionale Implementierung effizienter Unifikation von Termen erster Ordnung.
Bachelor thesis, 2020.
Taro Yoshioka:
On the Unification of Multiset-Equations of Variable-to-Variable Bindings
Bachelor thesis, 2020.
Inga Baumgartner:
Entwurf und Implementierung eines Unifikationsverfahrens für Gleichungen zwischen Multimengen von Bindungen
Bachelor thesis, 2019.
Peter Lermann:
Automatisches Widerlegen der Beobachtungskorrektheit von Programmiersprachenübersetzungen
Master thesis, 2019.
Qais Amin:
Übersicht über das K-Framework und Illustration seiner Funktionsweise anhand einer imperativen Programmiersprache
Bachelor thesis, 2018.
Kristina Tretiak:
Funktionale Implementierung von Lösungsverfahren für Non-Capture und Freshness Constraints in Higher-Order Sprachen
Master thesis, 2018.
David Schäfer:
Visualisierung von Überlappungsdiagrammen für den Korrektheitsnachweis von Programmtransformationen
Bachelor thesis, 2017.
Dhivyan Thulasikanthan:
Grundlagen des Term Graph Rewriting und Anwendungen in funktionalen Programmiersprachen
Bachelor thesis, 2017.
Patrick Pech:
Nominal Unification und ihre Anwendung zum syntaktischen Schließen in erweiterten Lambda-Kalkülen
Master thesis, 2016.
Jeong-Eun Choi:
Funktionale Implementierung und experimentelle Analyse effizienter Heuristiken
für das DPLL-Verfahren zum Erfüllbarkeitstest für aussagenlogische Klauselmengen
Bachelor thesis, 2016.
Alper Cezik:
Eine Programmbibliothek für Haskell zum Lösen linearer Ungleichungen durch Anbindung von SMT-Solvern
Bachelor thesis, 2016.
Christian Winter:
Entwicklung eines webbasierten Lernsystems zum Erfüllbarkeitstest
aussagenlogischer Formeln mittels der DPLL-Prozedur
Bachelor thesis, 2016.
Felix Weiglhofer:
Entwurf und Implementierung einer nebenläufigen Wörterbuchdatenstruktur in Concurrent Haskell
Bachelor thesis, 2016.
Deniz Akemlek:
Entwurf und Implementierung von Algorithmen zur effizienten Konversion von Lempel-Ziv-Strings
in Straight-Line-Programme in der funktionalen Programmiersprache Haskell
Bachelor thesis, 2016.
Mayumi Fuji:
Implementierung einer Simulation von Schienenverkehr zur Analyse von
Verspätungen in der funktionalen Programmiersprache Haskell
Bachelor thesis, 2016
Raihana Samadi:
Implementierung von Rewriting-Systemen auf Kreisen in der funktionalen Programmiersprache Haskell
Bachelor thesis, 2016
Robin Kreuzig:
Entwurf und Implementierung eines Online-Lernsystems zur Listenprogrammierung mit List Comprehensions
unter Verwendung eines Webframeworks für Haskell
Bachelor thesis, 2015
Marc Pohl:
Entwurf und Implementierung von Algorithmen zur Grammatik-basierten Kompression von Matrizen
Bachelor thesis, 2015
Omar El Goss:
Implementierung von Algorithmen zur erweiterten Alpha-Äquivalenz für Programmiersprachen mit rekursiven Bindungen
Bachelor thesis, 2015
Jan van den Brand:
Eine neue dynamisch-getypte und imperative Programmiersprache mit verzögerter Auswertung
Bachelor thesis, 2015
Patrick Pech:
Entwurf und Implementierung von Inferenzverfahren für eine
zweidimensionale Intervalllogik in der funktionalen Programmiersprache Haskell
Bachelor thesis, 2014
Süleyman Omari:
Entwurf und Implementierung einer Kodierung der Allenschen Zeitlogik als Aussagenlogisches Erfüllbarkeitsproblem
Bachelor thesis, 2014