Terminierungsanalyse (WS 2003/2004)

Lehr- und Forschungsgebiet Informatik II

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:

21. 11.: Literatur besprechen
9. 1.: Besprechung der Konzeption des Vortrags
23. 1.: Abgabe der Ausarbeitung
6. 2.: Kopien der überarbeiteten Ausarbeitung anfertigen

Themen

Datum	Zeit	Thema	Referent	Betreuer
Mo., 9.2.	10:00 - 11:00	Dependency Pairs	Daniel Willems	Jürgen Giesl
	11:15 - 12:15	Monotonic Semantic Path Ordering	Andreas Holtkamp	Jürgen Giesl
	13:15 - 14:15	Semantic Labelling	Johannes Renner	Peter Schneider-Kamp
	14:30 - 15:30	Context-Sensitive Rewriting	Wolf Blecher	Jürgen Giesl
	15:45 - 16:45	Termination under Strategies	Huy Do	René Thiemann
Di., 10.2.	10:00 - 11:00	Inferring Interargument Relations	Evelina Dimitrova	René Thiemann
	11:15 - 12:15	Query Mappings	Michael Comanns	Peter Schneider-Kamp
	12:30 - 13:30	One loop at a time	Ralf Mitsching	Jürgen Giesl
	14:15 - 15:15	Constraint based termination analysis	Uwe Steinhausen	René Thiemann
	15:30 - 16:30	Transformation to Term Rewrite Systems	Sebastian Biermann	Peter 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