Automated termination analysis of Java Bytecode by term rewriting (2010)

by C Otto, M Brockschmidt, C von Essen, J Giesl
Venue:In Proc. RTA ’10. LIPIcs 6