Dr. Walter Guttmann

Vorlesungen

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

Übungen zu Vorlesungen

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

Seminare

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

Proseminare

  • <LINK 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</LINK> (Wintersemester 2008/2009)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/11366>Mathematisch-strukturelle Grundlagen der Informatik</LINK> (Sommersemester 2005)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/9672>Mathematisch-strukturelle Grundlagen der Informatik</LINK> (Sommersemester 2004)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/7028>Funktionale Programmierung</LINK> (Sommersemester 2003)

Individualpraktika

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

Diplomarbeiten

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