Summary: Aachen
Department of Computer Science
Technical Report
Automated Termination Analysis of
Java Bytecode by Term Rewriting
Carsten Otto, Marc Brockschmidt, Christian von Essen, J¨urgen Giesl
ISSN 0935­3232 · Aachener Informatik Berichte · AIB-2010-08
RWTH Aachen · Department of Computer Science · April 2010
1
2
The publications of the Department of Computer Science of RWTH Aachen University are
in general accessible through the World Wide Web.
http://aib.informatik.rwth-aachen.de/
AUTOMATED TERMINATION ANALYSIS OF JAVA BYTECODE
BY TERM REWRITING
C. OTTO AND M. BROCKSCHMIDT AND C. VON ESSEN AND J. GIESL
LuFG Informatik 2, RWTH Aachen University, Germany
Abstract. We present an automated approach to prove termination of Java Bytecode
(JBC) programs by automatically transforming them to term rewrite systems (TRSs). In
this way, the numerous techniques and tools developed for TRS termination can now be

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences