*Result*: AUTOMATED TERMINATION ANALYSIS OF JAVA BYTECODE BY TERM REWRITING
Title:
AUTOMATED TERMINATION ANALYSIS OF JAVA BYTECODE BY TERM REWRITING
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Publication Year:
2010
Collection:
CiteSeerX
Document Type:
*Academic Journal*
text
File Description:
application/pdf
Language:
English
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.57947324
Database:
BASE
*Further Information*
*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.*