default search action
5th Bytecode@ETAPS 2010: Paphos, Cyprus
- David Pichardie:
Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(4), Elsevier 2011 - David Pichardie:
Preface. 1-2 - Jaroslav Bauml, Premek Brada:
Reconstruction of Type Information from Java Bytecode for Component Compatibility. 3-18 - Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert:
A Dozen Instructions Make Java Bytecode. 19-34 - Michael Eichberg, Andreas Sewe:
Encoding the Java Virtual Machine's Instruction Set. 35-50 - Jevgeni Kabanov:
JRebel Tool Demo. 51-57 - Philippe Wang, Adrien Jonquet, Emmanuel Chailloux:
Non-Intrusive Structural Coverage for Objective Caml. 59-73
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.