Type-Separation as a Method for Efficient Bytecode Verification Philipp Adler and Wolfram Amme Friedrich-Schiller-Universit¨ at Jena, Ernst-Abbe-Platz 1-4, 07743 Jena, Germany, {phadler,amme - Institut für Zeitgeschichte - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-08-22 05:00:39		Type-Separation as a Method for Efficient Bytecode Verification Philipp Adler and Wolfram Amme Friedrich-Schiller-Universit¨ at Jena, Ernst-Abbe-Platz 1-4, 07743 Jena, Germany, {phadler,amme}@informatik.uni-jena.de Add to Reading List Source URL: swt.informatik.uni-jena.de Download Document from Source Website File Size: 155,56 KB Share Document on Facebook