Diese Seite auf Deutsch  Research Group Computer Science II  Dept. of Computer Science RWTH

Seminar: Termination Analysis

(S2, WS 2003/2004)

LuFG Informatik II


Instructor

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


Prerequisites

Participants should have knowledge in "program verification", "term rewriting", "logic programming", or "functional programming".


Contents

Termination is an essential property of programs and termination analysis is an important task in software development and program verification. In the seminar, we present techniques and tools to prove termination of programs automatically, where we focus on different types of programming languages (e.g., term rewrite systems, logic, functional, and imperative programming languages). Moreover, we also discuss related areas such as automated complexity analysis of programs and methods to prove liveness of processes.

Times

The seminar will take place on two days at the end of the semester (February 2004).


Further Details and Questions

For further details please contact René Thiemann, Tel. 80-21241.


Area

Theoretical Computer Science, Area of Specialization


Last modified: Thu Nov 20 17:29:02 CET 2003 / Research Group Computer Science II
RWTH Aachen