Abgeschlossene Master-, Diplom- und Studienarbeiten in der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion

Die nachfolgende Liste der abgeschlossenen Master,- Diplom- und Studienarbeiten ist unvollständig. Sie enthält aber einige Arbeiten, die eventuell für weitere Arbeiten im Bereich Programmiersprachen und Übersetzerkonstruktion relevant sind.

• 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
• Debugging deklarativer Programme durch orakelgesteuerte strikte Auswertung
  Holger Siegel (Studienarbeit, CAU Kiel), Oktober 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
• Übersetzung von Curry in imperative strikte Sprachen am Beispiel von C
  Marc Grauel (Studienarbeit, 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