Bytecode@ETAPS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2011

Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011Pierre Ganty, Mark Marron, editors, Volume 279 of Electronic Notes in Theoretical Computer Science, Elsevier, 2011. [doi]

Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010David Pichardie, editor, Volume 264 of Electronic Notes in Theoretical Computer Science, Elsevier, 2011. [doi]

2009

Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009Elvira Albert, Samir Genaim, editors, Volume 253 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]

2007

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

2005

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

Sign in or sign up to see more results.

runs on WebDSL