This page in English  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

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:


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

DatumZeitThemaBetreuerReferent(in)
12.02.09:00Rekursive PfadordnungenP. Schneider-KampYvonne Jansen
12.02.10:00Automatisierung von Polynomordnungen C. FuhsMeysam Minoufekr
12.02.11:00Dependency PairsJ. GieslAndreas Hahne
13.02.09:30Terminierungsanalyse durch beschränktes WachstumS. SwiderskiStephan Peitz
13.02.10:30Semantic LabellingC. FuhsEmanuel Schwaersky
13.02.11:30Kontextsensitive TermersetzungC. FuhsHendrik vom Lehn
13.02.15:00Terminierungsanalyse von HaskellprogrammenS. SwiderskiTilo Müller
13.02.16:00Terminierungsanalyse von C-ProgrammenS. SwiderskiSaina 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 RWTH