Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009

Elvira Albert, Samir Genaim, editors, Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009. Volume 253 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]

Conference: bytecode2009

Abstract

Abstract is missing.