Fausto Spoto: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141, Elsevier 2005