|Research Group Computer Science II||Dept. of Computer Science|
Seminar: Termination Analysis
(S2, WS 2003/2004)
Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
Participants should have knowledge in "program verification", "term rewriting", "logic programming", or "functional programming".
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.
The seminar will take place on two days at the end of the semester (February 2004).
For further details please contact René Thiemann, Tel. 80-21241.
Theoretical Computer Science, Area of Specialization