Sciweavers

RTA
2010
Springer

Automated Termination Analysis of Java Bytecode by Term Rewriting

13 years 7 months ago
Automated Termination Analysis of Java Bytecode by Term Rewriting
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.
Carsten Otto, Marc Brockschmidt, Christian von Ess
Added 30 Aug 2010
Updated 30 Aug 2010
Type Conference
Year 2010
Where RTA
Authors Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl
Comments (0)