Sam Shiel, and Ian Bayley. Electronic Notes in Theoretical Computer Science141(1):35--52 (2005)Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation Bytecode 2005.
Sam Shiel, and Ian Bayley. Electronic Notes in Theoretical Computer Science141(1):35--52 (2005)Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation Bytecode 2005.