Document Open Access Logo

Automated Termination Analysis of Java Bytecode by Term Rewriting

Authors Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl



PDF
Thumbnail PDF

File

LIPIcs.RTA.2010.259.pdf
  • Filesize: 226 kB
  • 18 pages

Document Identifiers

Author Details

Carsten Otto
Marc Brockschmidt
Christian von Essen
Jürgen Giesl

Cite AsGet BibTex

Carsten Otto, Marc Brockschmidt, Christian von Essen, and Jürgen Giesl. Automated Termination Analysis of Java Bytecode by Term Rewriting. In Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Leibniz International Proceedings in Informatics (LIPIcs), Volume 6, pp. 259-276, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/LIPIcs.RTA.2010.259

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.
Keywords
  • Java Bytecode
  • termination
  • term rewriting

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail