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

Seminar: Automatische Terminierungsanalyse

(S2, WS 2008/2009)

LuFG Informatik 2


Veranstalter

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



Voraussetzungen

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

Das Seminar wird als Blockseminar im Februar 2009 veranstaltet. Es gelten die folgenden strikten Fristen:


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. Sollte die Ausarbeitung mehr als fünf Rechtschreib- oder Grammatikfehler auf einer Seite oder mehr als zehn insgesamt enthalten, wird die Bearbeitung abgebrochen.

Themen

DatumZeitThemaBetreuerReferent(in)
09.02.10:40Recursive Path OrdersS. SwiderskiHelge Stasch
09.02.11:20Polynomial OrdersC. OttoLukas Razik
09.02.13:00Matrix OrdersC. FuhsNiklas Hoppe
09.02.13:40Termination by Bounded IncreaseS. SwiderskiMichael Ernst
10.02.10:00MatchboundsC. OttoMartin Peter Mrozek
10.02.10:40Root LabelingS. SwiderskiBenjamin Brink
10.02.11:20Context-Sensitive Term RewritingF. EmmesWei Wu
10.02.13:00Dependency Pairs for Rewriting with Built-in NumbersC. FuhsSebastian Schöppel
10.02.13:40Certified TerminationC. FuhsPatrick Schlebusch
10.02.14:20Shallow Dependency Pairs for IsabelleC. FuhsErgang Song
11.02.10:00The Size-Change PrincipleJ. GieslZhen Xi
11.02.10:40Calling Context GraphsF. EmmesChristian von Essen
11.02.11:20Termination Analysis for Haskell ProgramsS. SwiderskiMarc Brockschmidt
11.02.13:00Termination Analysis for Prolog Programs via TransformationsJ. GieslLouis Bertrand Fogang
11.02.13:40Dependency Triples for PrologJ. GieslArikan Can Ates
11.02.14:20Termination Analysis for Java BytecodeC. OttoSebastian Biallas
11.02.15:00Termination Analysis for C ProgramsC. OttoSebastian Fillinger

Die Vortragsdauer beträgt 25 Minuten. 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 RWTH