Institute of Software Engineering and Compiler Construction

1: Teaching.
2: Research.
3: Staff.
- 3.1: Prof. Dr. Helmuth Partsch.
- 3.2: Prof. Dr. Thom Frühwirth.
- 3.3: Ulrike Seiter.
- 3.4: Alexander Breckel.
- 3.5: Marcel Dausend.
- 3.6: Dominik Gessenharter.
- 3.7: Dr. Walter Guttmann.
  - 3.7.1: Algebra of Computing.
  - 3.7.2: Publications.
  - 3.7.3: Teaching.
- 3.8: Peter Nothelfer.
- 3.9: Dr. Alexander Raschke.
- 3.10: Tobias Weck.
- 3.11: Amira Zaki.
- 3.12: External Ph.D. Students.
- 3.13: Former Staff and Ph.D. Students.
4: Contact.

Dr. Walter Guttmann

Lectures

Functional programming (winter term 2011/2012)
Functional programming (summer term 2009)

Exercise courses

Functional programming (winter term 2011/2012)
Compiling functional, logical, and object-oriented languages (summer term 2011)
Foundations of compiler construction (winter term 2009/2010)
Functional programming (summer term 2009)
Foundations of compiler construction (winter term 2008/2009)
Compiling functional, logical, and object-oriented languages (summer term 2008)
Foundations of compiler construction (winter term 2007/2008)
Compiling functional, logical, and object-oriented languages (summer term 2007)
Foundations of compiler construction (winter term 2006/2007)
Compiling functional, logical, and object-oriented languages (summer term 2006)
Theoretical computer science 1 (winter term 2005/2006)
Foundations of compiler construction (winter term 2005/2006)
Compiling functional, logical, and object-oriented languages (summer term 2005)
Foundations of compiler construction (winter term 2004/2005)
Foundations of compiler construction (winter term 2003/2004)
Compiling functional, logical, and object-oriented languages (summer term 2003)
Foundations of compiler construction (winter term 2002/2003)

Seminars

Algorithm Development in functional programming languages (summer term 2012)
Concepts of functional programming languages (winter term 2009/2010)
Concepts of functional programming languages (winter term 2008/2009)
Algebraic structures in computer science (summer term 2008)
Concepts of functional programming languages (winter term 2007/2008)
Algebraic structures in computer science (summer term 2007)
Semantics of programming and specification languages (winter term 2006/2007)
Models and formal methods for user interaction (winter term 2006/2007)
Discrete structures for formal models (summer term 2006)
Program analysis and optimisation (winter term 2005/2006)
Rule-based systems (winter term 2004/2005)
Compiling functional, logical, and object-oriented languages (summer term 2004)
Logic for formal models (winter term 2003/2004)
New concepts of user guidance and GUI-specification (summer term 2003)
Program analysis and optimisation (winter term 2002/2003)
Program transformation (winter term 2001/2002)

Proseminars

Mathematical and structural foundations of computer science (winter term 2008/2009)
Mathematical and structural foundations of computer science (summer term 2005)
Mathematical and structural foundations of computer science (summer term 2004)
Functional programming (summer term 2003)

Practical works

Michael Staud: Implementation of a compiler from Prolog to C++ (August 2006)
Jürgen Werner: Implementation of a library for graphs (February 2003)

Diploma theses

Michael Stahl: Porting the Ultra Program Transformation System from Gofer to Haskell (September 2006)
Markus Diesterheft: Modellierung und heuristische Verfahren zur optimierten Kommissionierung (May 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 (October 2005)
Ralf Gerlich: Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation (July 2005)
Jürgen Werner: Relational calculi for the semantics of programming languages and program development (November 2004)