TY  - RPRT
TI  - A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
AU  - Georg Moser
AU  - Michael Schaper
PY  - 2014
UR  - https://arxiv.org/abs/1204.1568
ID  - 1204.1568
ER  -