Uni des Saarlandes
FR Informatik
Programmiersysteme
Gert Smolka


Lehrstuhl
Vorlesungen
Seminare
Bachelorarbeiten
Masterarbeiten
Fopras
Diplomarbeiten
Dissertationen


Alice
Mozart

Master and Diploma Theses, Programming Systems Lab, Prof. Gert Smolka

If you are interested in a topic for a thesis, please contact Prof. Smolka or a researcher of the Lab whose work you find interesting.

As part of your thesis work, you will participate in our Graduate Seminar. You will give two talks in this seminar. In the first talk (15 min), you will explain the problem and how you want to approach it. In the second talk (30 min), you will present your submitted thesis.

When you start your thesis work, your supervisor will provide you with a problem specification (1 page). You will maintain a web page devoted to your thesis work. The problem specification, the thesis and related software and documentation will be made available through this page (see examples below).

Thesis Projects in Progress

Mathias Möhl, 2005,
Drawings as Models of Syntactic Structure: Theory and Algorithms (Betreuer: Kuhlmann)

Christian Müller, 2004,
Run-time Byte Code Compilation, Optimization and Interpretation for Alice (Betreuer: Tack)

Thesis Projects Completed

Patrick Cernko, 2004,
Realisierung einer Java Virtual Machine mit SEAM (Betreuer: Brunklaus)

Guido Tack, 2003,
Transformation, Linearization and Minimization of Data Graphs with Transients (Betreuer: Smolka und Kornstaedt)

Dag Kröper, 2002,
Konzeption und Realisierung eines Bibliotheksverwaltungssystems (Betreuer: Schulte und Smolka)

Martin Homik, 2002,
Ressourcenoptimierung eines Workflowproblems (Betreuer: Schulte und Müller)

Jan Schwinghammer, 2002,
A Concurrent Lambda-Calculus with Promises and Futures (Betreuer: Niehren und Smolka)

Ralph Debusmann, 2001,
A Declarative Grammar Formalism For Dependency Grammar (Betreuer: Duchier)

Manuel Bodirsky, 2001,
Beta Reduction Constraints (Betreuer: Niehren)

Gerhard Schneider, 2000,
ML mit Typklassen (Betreuer: Rossberg und Kornstaedt)

Thorsten Brunklaus, 2000,
Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter (Betreuer: Schulte)

Tim Priesnitz, 2000,
Entailment von nicht-strukturellen Teiltyp-Constraints (Betreuer: Niehren)

Daniel Simon, 1999,
An Implementation of the Programming Language DML in Java: Runtime Environment (Betreuer: Kornstaedt)

Andy Walter, 1999,
An Implementation of the Programming Language DML in Java: Compiler (Betreuer: Kornstaedt)

Alexander Koller, 1999,
Constraint Languages for Semantic Underspecification (Betreuer: Niehren)

Benjamin Lorenz, 1998,
Ein Debugger für Oz (Betreuer: Kornstaedt und Scheidhauer)

Leif Kornstaedt, 1996,
Definition und Implementierung eines Front-End-Generators für Oz (Betreuer: Schulte)

Kai Ibach, 1995,
OzFun: Eine funktionale Sprache für gemischte Eager- und Lazy-Programmierung (Betreuer: Niehren)

Frank Zenner, 1995,
Anbindung einer grafischen Benutzerschnittstelle an Oz (Betreuer: Mehl und Scheidhauer)

Bernhard Latz, 1994,
Eine interaktive Benutzerschnittstelle für Oz (Betreuer: Smolka)

Stefan Jacobs, 1993,
Über Negation im logischen Programieren (Betreuer: Smolka)

Markus Höhfeld, 1988,
Ein Schema für constraint-basierte relationale Wissensbasen (Betreuer: Smolka, Uni KL)

Michael Schmitt, 1987,
Implementierung einer typisierten logischen Programmiersprache mit Gleichheit (Betreuer: Smolka, Uni KL)

Gert Smolka (Wednesday, 06-Apr-2005 17:35:06 CEST)