First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05)