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

Seminar:
Automatische Terminierungsanalyse

(S2, WS 2011/12)

LuFG Informatik 2


Veranstalter

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



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).

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).


Termin

Das Seminar findet zu Beginn der Semesterferien am 03.02.2012 und 06.02.2012 als Blockseminar statt.


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. 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


DatumZeitThemaBetreuerReferent(in)
03.02.10:00Dependency PairsF. EmmesMatthias Hoelzel
03.02.10:45SAT Solving for Finding Polynomial and Matrix OrdersM. BrockschmidtMartin Heistermann
03.02.11:30String Rewriting and MatchboundsC. OttoChristoph Worreschk
03.02.13:15Integer Term RewritingJ. GieslFlorian Frohn
03.02.14:00Termination Analysis for Java Bytecode via Constraint Logic ProgrammingC. OttoThomas Gerlitz
03.02.14:45Termination Analysis for Java Bytecode via Term RewritingC. OttoJens Noschinski
06.02.11:00Termination Analysis for C Programs via Term RewritingM. BrockschmidtSven Förster
06.02.11:45Direct Termination Analysis for C ProgramsT. StröderMirco Giacobbe
06.02.13:15Non-Termination Analysis for C ProgramsT. StröderKai Driessen
06.02.14:00Size-Change TerminationJ. GieslJasper Diesel
06.02.14:45Termination Analysis for HaskellF. EmmesDevran Ölcer
06.02.15:30Termination Analysis for Prolog Programs via Term RewritingT. StroederAlexander Roth

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

Literatur

Wird bei der Vorbesprechung bekannt gegeben und verteilt.


Rückfragen

Bei Fragen wenden Sie sich bitte an Carsten Otto.


Zuordnung

Theoretische Informatik, Informatik Vertiefung


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH