Infoscience
Bytecode Semantics, Verification, Analysis and Transformation 2005 (Bytecode 2005)
2005-04-09
Edinburgh