Login / Signup
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
Georg Moser
Michael Schaper
Published in:
CoRR (2012)
Keyphrases
</>
rewrite systems
source code
fine grained
smart card
term rewriting
knuth bendix