 For declarative languages like Haskell, Mercury and Prolog, many results exist (mainly because of the strong mathematical background of these languages).The research community also works on new methods to analyze termination behavior of programs written in imperative languages like C and Java.Because of the undecidability of the Halting Problem research in this field cannot reach completeness.