Abschlussarbeiten

Generelle Themen

Diese Liste mit Themenvorschlägen soll nur Ideen für mögliche Abschlussarbeiten (Bachelor, Master, Diplom) liefern. Einige Arbeiten sind z.B. eher Master- oder Diplomarbeiten, aber einfachere Teilaspekte könnten auch in einer Bachelorarbeit behandelt werden. Ebenso können die Themen auch variieren. Diese Liste ist auf keinen Fall als vollständig anzusehen! Um ein konkretes Thema für eine Abschlussarbeit entsprechend Ihres bisherigen Studiums und Ihrer Interessen zu finden, sollten Sie am besten Michael Hanus kontaktieren. Weitere Ideen kann man eventuell auch bei den abgeschlossenen Arbeiten finden.

Anmerkung: Die meisten der Themen liegen im Bereich der Entwicklung und Anwendung deklarativer Programmiersprachen, insbesondere der Multi-Paradigmen-Sprache Curry, die die wichtigsten Eigenschaften von logischen, funktionalen und nebenläufigen Sprachen vereinigt. Die Vorteile von Curry liegen in der Programmiersicherheit (polymorphes Typkonzept, Module, abstrakte Datentypen), leichtere Wartbarkeit und Verifizierbarkeit durch ein höheres Programmierniveau als in klassischen imperativen Sprachen und hohe Synchronisationsmechanismen zur Entwicklung zuverlässiger verteilter Systeme. Wer mehr zu Curry lesen möchte, findet hier einen kurzen Übersichtsartikel und hier einen etwas längeren Übersichtsartikel zur Integration logischer und funktionaler Programmiersprachen. Außerdem gibt es auch eine ausführliche Sprachbeschreibung.

Wer sich für andere Programmiersprachen oder andere programmiersprachliche Aspekte des Systementwurfs interessiert, ist ebenfalls willkommen und sollte dies persönlich mit Michael Hanus diskutieren.

Nun also konkret: einige Themenvorschläge

Listen abgeschlossener Arbeiten

Die nachfolgende Listen abgeschlossener Bachelor-, Master-, Diplom- und Studienarbeiten sind unvollständig. Sie enthalten aber einige Arbeiten, die eventuell für weitere Arbeiten im Bereich der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion relevant sind.

Abgeschlossene Bachelorarbeiten

• Lasse Züngel: Kompakte Repräsentation von Datentermen (März 2024)
• Sascha Ecks: Visualisierung Termgraph-orientierter Berechnungen (März 2022)
• Fredrik Wieczerkowski: A compiler for Curry based on a GHC plugin (September 2021)
• Lasse Becker: Implementierung einer Turing-vollständigen Markup-Language (September 2021)
• Malte Clement: Quellsprachentransformation von Pattern Matching in Haskell (Oktober 2019)
• Justin Andresen: Implementation of a Monadic Translation of Haskell Code to Coq (September 2019)
• Ning Cheng: Ein Stilprüfer für Curry (März 2019)
• Kai-Oliver Prott: Ein Tool zur automatischen Dokumentationsgenerierung für Curry-Programme (September 2018)
• Bennet Krause: Entwicklung eines verteilten Anwesenheitsmonitoringsystems (März 2018)
• Niels Bunkenburg: Formalizing inference systems in Coq by means of type systems for Curry (September 2016)
• Jan-Hendrik Matthes: Implementierung von Rewriting-Bibliotheken in Curry (September 2016)
• Tom Hüser: Optimierung von Case-Ausdrücken in Curry-Programmen (September 2016)
• Mike Tallarek: Implementierung einer Datenbank-Schnittstelle für Curry (September 2014)
• Jasper Paul Sikorra: Foreign Code Integration in Curry (März 2014)
• Max Amadeus Deppert: Integration von Auszeichnungssprachen in Curry (März 2014)
• Lasse Kristopher Meyer: Entwicklung einer Webanwendung zur Erstellung, Verwaltung und Ausführung von Programmen in Curry (März 2014)
• Finn Teegen: Implementation of a Library for Declarative, Resolution-Independent 2D Graphics in Haskell (September 2013)
• Malte Hecht: Erstellen einer Abstimmungssoftware für Vorlesungen (April 2013)
• Thorge Petersen: Social Tagging und Folksonomies - ein Ansatz zur kollaborativen Indexierung (März 2013)
• Sandra Dylus: An API Search Engine for Curry (September 2012)
• Jonas Oberschweiber: Type Inference for a Declarative Intermediate Language (September 2012)
• Jens-Uwe Bahr: A computer player for billiards based on articial intelligence techniques (September 2012)
• Arne Kowalewski: Entwicklung und Vergleich von maschinellen Spielern fur Gomoku, Gobang und Pente (September 2012)
• Christian Wischmann: Erweiterung eines Web–basierten Umfragesystems um eine XML–Schnittstelle und um XSL Transformationen (September 2012)

Abgeschlossene Master- und Diplomarbeiten

• Optimizing GHC Language Plugin Generated Code for Strict and Pure Functions via Worker/Wrapper Transformation
  Justin Andresen (Masterarbeit, CAU Kiel), Oktober 2023
• Property-Based Testing in the Context of DB Interactions
  Lars Jürgensen (Masterarbeit, CAU Kiel), Dezember 2021
• Erweiterung von Curry um Multiparametertypklassen
  Leif-Erik Krüger (Masterarbeit, CAU Kiel), Oktober 2021
• Extending the Glasgow Haskell Compiler for functional-logic Programs with Curry-Plugin
  Kai-Oliver Prott (Masterarbeit, CAU Kiel), Oktober 2020
• Ein Typklassen-basiertes deklarative Webframework für Curry
  Pascal Stücker (Masterarbeit, CAU Kiel), April 2020
• Generische Übersetzung von Curry-Programmen in imperative Programme
  Marc André Wittorf (Masterarbeit, CAU Kiel), Oktober 2018
• Integration von Curry-Programmen in Webseiten durch Übersetzung nach JavaScript
  Jasper Paul Sikorra (Masterarbeit, CAU Kiel), August 2017
• Übersetzung von Curry nach Java
  Bastian Kirchmayr (Masterarbeit, CAU Kiel), Juni 2017
• A Package Manager for Curry
  Jonas Oberschweiber (Masterarbeit, CAU Kiel), September 2016
• Erweiterung von Curry um Typklassen und Typkonstruktorklassen
  Finn Teegen (Masterarbeit, CAU Kiel), September 2016
• Überprüfung von Stilrichtlinien für deklarative Programmen
  Katharina Rahf (Masterarbeit, CAU Kiel), Juli 2016
• Implementierung von Constraint-Lösern für Curry mittels SMT
  Sven Hüser (Masterarbeit, CAU Kiel), März 2016
• Integration of SQL into Curry
  Julia Krone (Masterarbeit, CAU Kiel), November 2015
• Entwicklung plattformunabhängiger GUI-Anwendungen mit DSLs
  Karsten Pietrzyk (Masterarbeit, CAU Kiel), Oktober 2015
• Lenses and Bidirectional Programming in Curry
  Sandra Dylus (Masterarbeit, CAU Kiel), September 2014
• Maschinencode-Obfuscation als Schutz vor Reverse Engineering
  Folke Will (Masterarbeit, CAU Kiel), September 2014
• Integration of Parallel and Fair Search Strategies for Non-Deterministic Programs into the Curry System KiCS2
  Bastian Holst (Masterarbeit, CAU Kiel), Mai 2014
• Extending an Eclipse-Plugin for Curry by Features for Program Analysis, Type-Checking and Debugging
  Lennart Spitzner (Masterarbeit, CAU Kiel), März 2014
• A Web-Based Editor for Cloud-Based Programming
  Jan Bracker (Masterarbeit, CAU Kiel), März 2014
• Erweiterung von Curry um Typklassen
  Matthias Böhm (Masterarbeit, CAU Kiel), Oktober 2013
• An Eclipse-Based Integrated Development Environment for Curry
  Marian Palkus (Diplomarbeit, CAU Kiel), Dezember 2012
• Integration eines Finite-Domain-Constraint-Solvers in KiCS2
  Jan Rasmus Tikovsky (Diplomarbeit, CAU Kiel), August 2012
• Typsichere Einbettung von Datenbankanfragen in Scala
  Christoph Wulf (Masterarbeit, CAU Kiel), März 2011
• Design-Aid for Graphical user Interfaces in Declarative Programming Languages
  Ramon Gudschun (Diplomarbeit, CAU Kiel), Februar 2011
• Entwicklung eines Java-nach-C++-Übersetzers zur Transferierung von Java-API's
  Jan-Philipp Rathje (Diplomarbeit, CAU Kiel), Mai 2009
• Debugging Non-strict Programs by Strict Evaluation
  Holger Siegel (Diplomarbeit, CAU Kiel), Oktober 2008
• Deklarative Konstruktion Web-basierter Benutzerschnittstellen
  Christof Kluß (Diplomarbeit, CAU Kiel), Oktober 2008
• Entwicklung von Web-Applikationen aus deklarativen Beschreibungen
  Sven Koschnicke (Masterarbeit, CAU Kiel), Oktober 2008
• Konfiguration von Java-Applikationen durch Abhängigkeitsanalyse
  Christoph Stoike (Diplomarbeit, CAU Kiel), November 2007
• Generierung von Curry-Programmen aus ER-Diagrammen
  Marion Müller (Diplomarbeit, CAU Kiel), Februar 2007
• A purely functional implementation of ROBDDs in Haskell
  Jan Christiansen (Diplomarbeit, CAU Kiel), Februar 2006
• Functional Logic Programming with Databases
  Sebastian Fischer (Diplomarbeit, CAU Kiel), April 2005
• Ein allgemeiner Ansatz zur effizienten Generierung von Datenbanken für perfektes Spiel
  Benjamin Bahnsen (Diplomarbeit, CAU Kiel), April 2005
• Ein Modulsystem zur Unterstützung von subtypbasierter Überladung unter Wahrung separater Namensräume
  Stephan Herhut (Diplomarbeit, CAU Kiel), Februar 2005
• Entwicklung einer Beschreibungssprache für Programmierrichtlinien
  Carsten Kruse (Diplomarbeit, CAU Kiel), November 2002
• Eine graphische Programmierumgebung für deklarative Programmiersprachen
  Johannes Koj (Diplomarbeit, RWTH Aachen), Oktober 2000
• Objektorientierte Erweiterung einer deklarativen Programmiersprache
  Philipp Niederau (Diplomarbeit, RWTH Aachen), August 2000
• Bedingte Narrowing-Verfahren mit verzögerter Auswertung
  Bernd Braßel (Diplomarbeit, RWTH Aachen), Januar 1999
• Vergleich von Narrowing-Verfahren erster und höherer Ordnung
  Alexander Pretschner (Diplomarbeit, RWTH Aachen), Juni 1998
• Analyse logisch-funktionaler Programme mit verzögerter Auswertung
  Michael Rüdelstein (Diplomarbeit, RWTH Aachen), Mai 1998
• Nebenläufige Implementierung der Programmiersprache Curry in Java
  Ramin Sadre (Diplomarbeit, RWTH Aachen), November 1997
• Eingekapselte Suchverfahren für logisch-funktionale Programmiersprachen
  Frank Steiner (Diplomarbeit, RWTH Aachen), Oktober 1997
• Higher-Order Narrowing mit definierenden Bäumen und expliziten Substitutionen
  Hans-Georg Eßer (Diplomarbeit, RWTH Aachen), September 1997
• Declarative I/O within a functional logic language: determinism analysis
  Nancy Mazur (K.U. Leuven), August 1997

Abgeschlossene Forschungsprojekte und Studienarbeiten

• Niels Bunkenburg: Synthesizing Set Functions: A Prototype Implementation (Forschungsprojekt, Oktober 2018)
• Thomas Kiupel: Entwicklung einer webbasierten Anwendung zur Planung des Masterstudiums mit Ruby on Rails (Studienarbeit, Juli 2013)
• Holger Siegel: Debugging deklarativer Programme durch orakelgesteuerte strikte Auswertung (Studienarbeit, Oktober 2007)
• Marc Grauel: Übersetzung von Curry in imperative strikte Sprachen am Beispiel von C (Studienarbeit, Februar 2006)