Automatische Terminierungsanalyse (WS 2007/2008)

Seminar: Automatische Terminierungsanalyse
(S2, WS 2007/2008)
LuFG Informatik 2

Veranstalter

Prof. Dr. Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs, Stephan Swiderski

Voraussetzungen

Kenntnisse in "Funktionaler Programmierung", "Termersetzungssystemen", "Logikprogrammierung" 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

Das Seminar wird als Blockseminar im Februar 2008 veranstaltet. Es findet im Seminarraum des Lehrstuhls für Informatik 2 (Gebäude E2, Raum 4201b) statt. Es gelten die folgenden strikten Fristen:

09. 11.: Literatur abholen und besprechen
30. 11.: Besprechung der Konzeption
21. 12.: Abgabe der 1. Version der Ausarbeitung
11. 02.: Kopien der überarbeiteten Ausarbeitung anfertigen

Vorgaben

Die Ausarbeitung darf nicht mehr als 12 Seiten inklusive Titel und Literaturverzeichnis umfassen. Bei diesem Umfang sind weder ein Index noch ein Inhaltsverzeichnis erwünscht, allerdings sollte ein Literaturverzeichnis vorhanden sein. Sind in der Ausarbeitung auf einer Seite mehr als 10 Fehler, wird die Korrektur abgebrochen. Ebenso wird die Korrektur abgebrochen, wenn das globale Fehlerlimit oder das Seitenlimit überschritten wird. Die Vortragsdauer beträgt 40 Minuten.

Themen

Datum	Zeit	Thema	Betreuer	Referent(in)
12.02.	09:00	Rekursive Pfadordnungen	P. Schneider-Kamp	Yvonne Jansen
12.02.	10:00	Automatisierung von Polynomordnungen	C. Fuhs	Meysam Minoufekr
12.02.	11:00	Dependency Pairs	J. Giesl	Andreas Hahne
13.02.	09:30	Terminierungsanalyse durch beschränktes Wachstum	S. Swiderski	Stephan Peitz
13.02.	10:30	Semantic Labelling	C. Fuhs	Emanuel Schwaersky
13.02.	11:30	Kontextsensitive Termersetzung	C. Fuhs	Hendrik vom Lehn
13.02.	15:00	Terminierungsanalyse von Haskellprogrammen	S. Swiderski	Tilo Müller
13.02.	16:00	Terminierungsanalyse von C-Programmen	S. Swiderski	Saina Bayat

Rückfragen

Bei Fragen wenden Sie sich bitte an Peter Schneider-Kamp, Tel. 80-21211.

Zuordnung

Theoretische Informatik, Informatik Vertiefung

Disclaimer

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik