Automated Termination Analysis: From Term Rewriting to Programming Languages.
Jürgen Giesl · RWTH Publications (RWTH Aachen) · 2013
Termination is a crucial property of programs. Therefore, techniques to analyze termination automatically are highly important for program verification. Traditionally, techniques for automated termination analysis were mainly studied for declarative programming paradigms such as logic programming and term rewriting. However, in the last years, several powerful techniques and tools have been developed which analyze the termination of programs in many programming languages including Java, C, Haskell, and Prolog.