Dr. Walter Guttmann

Vorlesungen

<a href="t3://page?uid=5799">Funktionale Programmierung</a> (Wintersemester 2011/2012)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=21540&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Funktionale Programmierung</a> (Sommersemester 2009)

Übungen zu Vorlesungen

<a href="t3://page?uid=5799">Funktionale Programmierung</a> (Wintersemester 2011/2012)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=36431&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2011)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=23283&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Grundlagen des Übersetzerbaus</a> (Wintersemester 2009/2010)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=21540&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Funktionale Programmierung</a> (Sommersemester 2009)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19182&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Grundlagen des Übersetzerbaus</a> (Wintersemester 2008/2009)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=16654&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11967">Grundlagen des Übersetzerbaus</a> (Wintersemester 2007/2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=10605">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=8144">Grundlagen des Übersetzerbaus</a> (Wintersemester 2006/2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=6862">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2006)
<a href="http://www.informatik.uni-ulm.de/epin/pw/12164">Theoretische Informatik 1</a> (Wintersemester 2005/2006)
<a href="http://www.informatik.uni-ulm.de/epin/pw/12095">Grundlagen des Übersetzerbaus</a> (Wintersemester 2005/2006)
<a href="http://www.informatik.uni-ulm.de/epin/pw/11367">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2005)
<a href="http://www.informatik.uni-ulm.de/epin/pw/10608">Grundlagen des Übersetzerbaus</a> (Wintersemester 2004/2005)
<a href="http://www.informatik.uni-ulm.de/epin/pw/8307">Grundlagen des Übersetzerbaus</a> (Wintersemester 2003/2004)
<a href="http://www.informatik.uni-ulm.de/epin/pw/7100">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2003)
<a href="http://www.informatik.uni-ulm.de/epin/pw/5462">Grundlagen des Übersetzerbaus</a> (Wintersemester 2002/2003)

Seminare

<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=48956&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Entwicklung von Algorithmen in funktionalen Programmiersprachen</a> (Sommersemester 2012)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=23273&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Konzepte funktionaler Programmiersprachen</a> (Wintersemester 2009/2010)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19151&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Konzepte funktionaler Programmiersprachen</a> (Wintersemester 2008/2009)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=16602&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Algebraische Strukturen als Grundlage der Informatik</a> (Sommersemester 2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=13449">Konzepte funktionaler Programmiersprachen</a> (Wintersemester 2007/2008)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11658">Algebraische Strukturen als Grundlage der Informatik</a> (Sommersemester 2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=9757">Semantik von Programmier- und Spezifikationssprachen</a> (Wintersemester 2006/2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=9752">Modelle und formale Methoden für Benutzerinteraktionen</a> (Wintersemester 2006/2007)
<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=7673">Diskrete Strukturen als Grundlage formaler Modelle</a> (Sommersemester 2006)
<a href="http://www.informatik.uni-ulm.de/epin/pw/12099">Analyse und Optimierung von Programmen</a> (Wintersemester 2005/2006)
<a href="http://www.informatik.uni-ulm.de/epin/pw/10654">Regelbasierte Systeme</a> (Wintersemester 2004/2005)
<a href="http://www.informatik.uni-ulm.de/epin/pw/9671">Übersetzung neuerer Sprachkonzepte</a> (Sommersemester 2004)
<a href="http://www.informatik.uni-ulm.de/epin/pw/8285">Logik als Basis formaler Modelle</a> (Wintersemester 2003/2004)
<a href="http://www.informatik.uni-ulm.de/epin/pw/7026">Neuartige Konzepte der Benutzerführung und GUI-Spezifikation</a> (Sommersemester 2003)
<a href="http://www.informatik.uni-ulm.de/epin/pw/5441">Analyse und Optimierung von Programmen</a> (Wintersemester 2002/2003)
Programmtransformation (Wintersemester 2001/2002)

Proseminare

<a href="http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19681&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung">Mathematisch-strukturelle Grundlagen der Informatik</a> (Wintersemester 2008/2009)
<a href="http://www.informatik.uni-ulm.de/epin/pw/11366">Mathematisch-strukturelle Grundlagen der Informatik</a> (Sommersemester 2005)
<a href="http://www.informatik.uni-ulm.de/epin/pw/9672">Mathematisch-strukturelle Grundlagen der Informatik</a> (Sommersemester 2004)
<a href="http://www.informatik.uni-ulm.de/epin/pw/7028">Funktionale Programmierung</a> (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)