Marieke Huisman, Fausto Spoto: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 190, Elsevier 2007