Submitted to the International Conference on Rewriting Techniques and Applications http: rewriting.loria.fr rta AUTOMATED TERMINATION ANALYSIS OF JAVA BYTECODE BY TERM REWRITING C. OTTO AND M. BROCKSCHMIDT AND C. VON E - International Conference on Rewriting Techniques and Applications - Document - PDFSEARCH.IO

First Page	Meta Content
	Submitted to the International Conference on Rewriting Techniques and Applications http://rewriting.loria.fr/rta/ AUTOMATED TERMINATION ANALYSIS OF JAVA BYTECODE BY TERM REWRITING C. OTTO AND M. BROCKSCHMIDT AND C. VON E Add to Reading List Document Date: 2015-04-16 09:49:59 Open Document File Size: 261,73 KB Share Result on Facebook

Submitted to the International Conference on Rewriting Techniques and Applications http://rewriting.loria.fr/rta/ AUTOMATED TERMINATION ANALYSIS OF JAVA BYTECODE BY TERM REWRITING C. OTTO AND M. BROCKSCHMIDT AND C. VON EAdd to Reading List