Dr. Walter Guttmann

Vorlesungen

• Funktionale Programmierung (Wintersemester 2011/2012)
• Funktionale Programmierung (Sommersemester 2009)

Übungen zu Vorlesungen

• Funktionale Programmierung (Wintersemester 2011/2012)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2011)
• Grundlagen des Übersetzerbaus (Wintersemester 2009/2010)
• Funktionale Programmierung (Sommersemester 2009)
• Grundlagen des Übersetzerbaus (Wintersemester 2008/2009)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2008)
• Grundlagen des Übersetzerbaus (Wintersemester 2007/2008)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2007)
• Grundlagen des Übersetzerbaus (Wintersemester 2006/2007)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2006)
• Theoretische Informatik 1 (Wintersemester 2005/2006)
• Grundlagen des Übersetzerbaus (Wintersemester 2005/2006)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2005)
• Grundlagen des Übersetzerbaus (Wintersemester 2004/2005)
• Grundlagen des Übersetzerbaus (Wintersemester 2003/2004)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2003)
• Grundlagen des Übersetzerbaus (Wintersemester 2002/2003)

Seminare

• Algebraische Strukturen als Grundlage der Informatik (Wintersemester 2011/2012)
• Konzepte funktionaler Programmiersprachen (Wintersemester 2009/2010)
• Konzepte funktionaler Programmiersprachen (Wintersemester 2008/2009)
• Algebraische Strukturen als Grundlage der Informatik (Sommersemester 2008)
• Konzepte funktionaler Programmiersprachen (Wintersemester 2007/2008)
• Algebraische Strukturen als Grundlage der Informatik (Sommersemester 2007)
• Semantik von Programmier- und Spezifikationssprachen (Wintersemester 2006/2007)
• Modelle und formale Methoden für Benutzerinteraktionen (Wintersemester 2006/2007)
• Diskrete Strukturen als Grundlage formaler Modelle (Sommersemester 2006)
• Analyse und Optimierung von Programmen (Wintersemester 2005/2006)
• Regelbasierte Systeme (Wintersemester 2004/2005)
• Übersetzung neuerer Sprachkonzepte (Sommersemester 2004)
• Logik als Basis formaler Modelle (Wintersemester 2003/2004)
• Neuartige Konzepte der Benutzerführung und GUI-Spezifikation (Sommersemester 2003)
• Analyse und Optimierung von Programmen (Wintersemester 2002/2003)
• Programmtransformation (Wintersemester 2001/2002)

Proseminare

• Mathematisch-strukturelle Grundlagen der Informatik (Wintersemester 2008/2009)
• Mathematisch-strukturelle Grundlagen der Informatik (Sommersemester 2005)
• Mathematisch-strukturelle Grundlagen der Informatik (Sommersemester 2004)
• Funktionale Programmierung (Sommersemester 2003)

Individualpraktika

• Michael Staud: Implementierung eines Übersetzers von Prolog nach C++ (August 2006)
• Jürgen Werner: Implementierung einer Graphenbibliothek (Februar 2003)

Diplomarbeiten

• Michael Stahl: Porting the Ultra Program Transformation System from Gofer to Haskell (September 2006)
• Markus Diesterheft: Modellierung und heuristische Verfahren zur optimierten Kommissionierung (Mai 2006)
• Klaus Göckelmann: Entwurf und Entwicklung eines Compilers für die "Testing and Test Control Notation Version 3" (November 2005)
• Carola Langwald: Beschreibung der Semantik von Aktivitätsdiagrammen der UML Version 2.0 durch Petri-Netze (Oktober 2005)
• Ralf Gerlich: Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation (Juli 2005)
• Jürgen Werner: Relational calculi for the semantics of programming languages and program development (November 2004)