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

Seminar: Terminierungsanalyse

(S2, WS 2003/2004)

LuFG Informatik II


Veranstalter

Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp



Voraussetzungen

Kenntnisse in "Automatisierter Programmverifikation", "Termersetzungssystemen", "Logikprogrammierung" oder "Funktionaler Programmierung".


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). Darüber hinaus gehen wir auch auf verwandte Bereiche wie die automatische Komplexitätsanalyse von Programmen und auf Verfahren zur Lebendigkeitsuntersuchung von Prozessen ein.

Anmeldung

Es gibt keine freien Plätze mehr.

Termine

Das Seminar wird als Blockseminar am 9./10. Februar 2004 im Seminarraum des Lehrstuhls (Raum 4201b) veranstaltet. Es gelten die folgenden Fristen:




Themen

DatumZeitThemaReferentBetreuer
Mo., 9.2.10:00 - 11:00Dependency PairsDaniel WillemsJürgen Giesl
11:15 - 12:15Monotonic Semantic Path OrderingAndreas HoltkampJürgen Giesl
13:15 - 14:15Semantic LabellingJohannes RennerPeter Schneider-Kamp
14:30 - 15:30Context-Sensitive RewritingWolf BlecherJürgen Giesl
15:45 - 16:45Termination under StrategiesHuy DoRené Thiemann
Di., 10.2.10:00 - 11:00Inferring Interargument RelationsEvelina DimitrovaRené Thiemann
11:15 - 12:15Query MappingsMichael ComannsPeter Schneider-Kamp
12:30 - 13:30One loop at a timeRalf MitschingJürgen Giesl
14:15 - 15:15Constraint based termination analysisUwe SteinhausenRené Thiemann
15:30 - 16:30Transformation to Term Rewrite SystemsSebastian BiermannPeter Schneider-Kamp

Rückfragen

Bei Fragen wenden Sie sich bitte an René Thiemann, Tel. 80-21241.


Zuordnung

Theoretische Informatik, Informatik Vertiefung


Last modified: Fri Feb 6 09:52:08 CET 2004 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen