|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Automated Termination Analysis
(S2, WS 2008/2009)
Prof. Dr. Jürgen Giesl, Carsten Fuhs, Carsten Otto, Peter Schneider-Kamp, Stephan Swiderski
Participants should have knowledge in "logic programming", "functional programming", "term rewriting", or "program verification". When registering for the seminar, please indicate which of these lectures you have attended (preferably lectures where you also actively participated in the exercises).
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
The seminar will take place at the end of the semester (February 2009).
For further details please refer to the corresponding web page in German or contact Carsten Fuhs.
Theoretical Computer Science, Area of Specialization
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|