Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl. Automated Termination Analysis of Java Bytecode by Term Rewriting. In Christopher Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. Volume 6 of LIPIcs, pages 259-276, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
Abstract is missing.