\section{Functional Programming}\label{subsec:fp}


In this category, the goal is to prove termination of \textsf{Haskell}
programs for a given class of \emph{start terms}. The data base currently
consists of 1676 termination problems taken from standard libraries of the
\textsf{Hugs}-interpreter. So this category is currently the only one in the
termination competition where the termination problems are indeed taken from
existing libraries in existing programming languages. 

To indicate the importance of putting termination analysis into practical
applications, this category was included in the competition 
although only one tool (\textsf{AProVE}) participated. Thus, currently this
category is more  a demonstration
of the state of the art in this domain and it should serve as a motivation for other tools
to join this category as well. 

In the competition, \textsf{AProVE} could show termination of 1294 problems
and it could disprove termination for 19 problems.
