researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2005
2007
2009
2011
Filter by Tag
Filter by Author
Filter by Top terms
[+]
OR
AND
NOT
1
2005
2007
2009
2010
2011
27
29
31
9
analysis
april
bytecode
bytecode@etaps
march
proceedings
semantics
transformation
uk
verification
workshop
Bytecode@ETAPS (bytecode)
Editions
Publications
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, 2011
Pierre 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, 2010
David 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, 2009
Elvira 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, 2007
Marieke 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, 2005
Fausto Spoto
, editor,
Volume 141 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2005.
[doi]
Sign in
or
sign up
to see more results.