Termination graphs for Java bytecode

FREE-DOWNLOADM Brockschmidt, C Otto, C Von Essen… – Verification, Induction, …, 2010
Termination is an important property of programs. Therefore, techniques to an- alyze termination
automatically have been studied for decades While most work focused on term rewrite
systems or declarative programming lan- guages, recently there have also been many