Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl. Automated Termination Analysis of Java Bytecode by Term Rewriting. In Christopher Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. Volume 6 of LIPIcs, pages 259-276, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
@inproceedings{OttoBEG10,
title = {Automated Termination Analysis of Java Bytecode by Term Rewriting},
author = {Carsten Otto and Marc Brockschmidt and Christian von Essen and Jürgen Giesl},
year = {2010},
doi = {10.4230/LIPIcs.RTA.2010.259},
url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2010.259},
tags = {Java, term rewriting, analysis, termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/OttoBEG10},
cites = {0},
citedby = {0},
pages = {259-276},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK},
editor = {Christopher Lynch},
volume = {6},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-18-7},
}