|
|
Lehr- und Forschungsgebiet Informatik II | Fachgruppe Informatik |
|
|
Seminar: Automatische Terminierungsanalyse (S2, WS 2005/2006) |
|
Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
Kenntnisse in "Funktionaler Programmierung", "Termersetzungssystemen", "Automatisierter Programmverifikation" oder "Logikprogrammierung". Bitte geben Sie bei der Anmeldung an, welche dieser Vorlesungen Sie besucht haben (am besten mit aktiver Teilnahme an den Übungen).
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).
Das Seminar wird als Blockseminar am 13. und 14. Februar 2006 veranstaltet. Es findet im Seminarraum des Lehrstuhls für Informatik II (Gebäude E2, Raum 4201b) statt. Es gelten die folgenden strikten Fristen:
| Zeit | Thema | Referent | Betreuer |
|---|---|---|---|
| Mo., 09:30 - 10:00 | Dependency Pairs | Markus de Brün | Jürgen Giesl |
| Mo., 10:15 - 10:45 | Fortgeschrittene Techniken für Dependency Pairs | Fabian Emmes | Jürgen Giesl |
| Mo., 11:00 - 11:30 | (Nicht-)Terminierungsanalyse von Funktionen höherer Ordnung | Daniel Rose | René Thiemann |
| Mo., 11:45 - 12:15 | Negative Polynomordnungen | Sebastian Rüsche | René Thiemann |
| Mo., 13:15 - 13:45 | Automatisierung von Polynomordnungen | Matthias Derijck | René Thiemann |
| Mo., 14:00 - 14:30 | Monotone semantische Pfadordnung | Tillmann Vogt | Jürgen Giesl |
| Mo., 14:45 - 15:15 | Semantic Labelling | Ulrich Schmidt-Goertz | Peter Schneider-Kamp |
| Mo., 15:30 - 16:00 | Matchbounds | Ramona Dülks | Peter Schneider-Kamp |
| Mo., 16:15 - 16:45 | Entscheidbare Terminierungsanalyse | Michael Dreher | René Thiemann |
| Di., 09:00 - 09:30 | Terminierungsanalyse von kontext-sensitiven TESen | Helga Velroyen | Peter Schneider-Kamp |
| Di., 09:45 - 10:15 | Polynomordnungen mit reellen Koeffizienten | Matthias Vianden | Jürgen Giesl |
| Di., 10:30 - 11:00 | Terminierungsanalyse von TESen modulo AC | Sumedha Widyadharma | René Thiemann |
| Di., 11:15 - 11:45 | Direkte Terminierungsanalyse von Logikprogrammen | Björn Schlak | René Thiemann |
| Di., 12:00 - 12:30 | Terminierungsanalyse von Logikprogrammen mit Termersetzungstechniken | Sascha Wiedenfeld | Jürgen Giesl |
| Di., 13:30 - 14:00 | Transformationen zur Terminierungsanalyse von Logikprogrammen | Thomas Dickmeis | Peter Schneider-Kamp |
| Di., 14:15 - 14:45 | Das Size-Change Prinzip zur Terminierungsanalyse funktionaler Programme | Sebastian Weise | René Thiemann |
| Di., 15:00 - 15:30 | Terminierungsanalyse funktionaler Programme mit nicht-strikter Auswertung | Carsten Koch | Peter Schneider-Kamp |
| Di., 15:45 - 16:15 | Terminierungsanalyse imperativer Programme mit Ranking Funktionen | Ulf v. Ceumern | Jürgen Giesl |
| Di., 16:30 - 17:00 | Abstraktions-Verfeinerung zur Terminierungsanalyse imperativer Programme | Tobias Weyand | Peter Schneider-Kamp |
Bei Fragen wenden Sie sich bitte an René Thiemann,
Tel. 80-21241.
Theoretische Informatik, Informatik Vertiefung
|
 |