Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Automated Termination Analysis of Java Bytecode by Term Rewriting

Carsten Otto, Marc Brockschmidt, Christian von Essen, and Juergen Giesl

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 used for imperative object-oriented languages like Java, which can be compiled into JBC.

Details

Publication typeInproceedings
Published inRTA
> Publications > Automated Termination Analysis of Java Bytecode by Term Rewriting