Automatische Terminierungsanalyse (SS 2010)

Seminar: Automatische Terminierungsanalyse
(S2, SS 2010)
LuFG Informatik 2

Veranstalter

Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Carsten Otto, Thomas Ströder

Voraussetzungen

Kenntnisse in "Funktionaler Programmierung", "Logikprogrammierung", "Termersetzungssystemen" oder "Automatisierter Programmverifikation". Bitte geben Sie bei der Anmeldung an, welche dieser Vorlesungen Sie besucht haben (am besten mit aktiver Teilnahme an den Übungen).

Inhalt

Terminierung ist eine grundlegende Eigenschaft von Programmen und der Nachweis der Terminierung ist eine wichtige Fragestellung im Bereich der Software-Entwicklung und der Programmverifikation. In dem Seminar werden verschiedene Techniken und Tools vorgestellt, um die Terminierung von Programmen automatisch zu untersuchen. Hierbei betrachten wir unterschiedliche Arten von Programmiersprachen (z.B. Termersetzungssysteme, logische, funktionale, und imperative Programmiersprachen).

Termine

Es gelten die folgenden strikten Fristen:

07. 05.: Literatur abholen und besprechen
10. 06.: Besprechung der Konzeption
01. 07.: Abgabe der 1. Version der Ausarbeitung
26. 07.: Kopien der überarbeiteten Ausarbeitung anfertigen

Vorgaben

Die Ausarbeitung darf nicht mehr als 10 Seiten inklusive Titel und Literaturverzeichnis umfassen. Bei diesem Umfang sind weder ein Index noch ein Inhaltsverzeichnis erwünscht, allerdings sollte ein Literaturverzeichnis vorhanden sein. Die Ausarbeitung kann auf Englisch oder auf Deutsch verfasst werden. Sollte die Ausarbeitung mehr als fünf Rechtschreibfehler auf einer Seite oder mehr als zehn insgesamt enthalten, wird die Bearbeitung abgebrochen. Verwenden Sie daher sowohl für Ihre Ausarbeitung als auch für Ihre Folien eine automatische Rechtschreibprüfung!

Themen

Datum	Zeit	Thema	Betreuer	Referent(in)
27.07.	09:15	Dependency Pairs	J. Giesl	Christian Schreder
27.07.	10:00	Polynomial Orders	C. Fuhs	Frederic Evers
27.07.	10:45	Complexity Analysis	F. Emmes	Christoph Vobis
27.07.	11:30	Size-Change Termination	M. Brockschmidt	Alexander Heinrichs
27.07.	13:00	Termination Analysis for Haskell	F. Emmes	Jochen Lauterbach
27.07.	13:45	Termination Analysis for Logic Programs via Term Rewriting	T. Ströder	Andrej Dyck
27.07.	14:30	Termination Analysis for Java Bytecode via CLP	M. Brockschmidt	Janine Repke
27.07.	15:15	Termination Analysis for Java Bytecode via Term Rewriting	C. Otto	Erich Andresen

Das Seminar findet voraussichtlich im Seminarraum des Lehrstuhls für Informatik 2 (Gebäude E2, Raum 4201b) statt. Die Vortragsdauer beträgt 30 Minuten, und als Vortragssprache sind Englisch oder Deutsch möglich. Alle Zeiten sind vorläufig.

Rückfragen

Bei Fragen wenden Sie sich bitte an Carsten Fuhs.

Zuordnung

Theoretische Informatik, Informatik Vertiefung

Disclaimer

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik