![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4th BYTECODE@ETAPS 2009: York, UK
- Elvira Albert, Samir Genaim:
Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009. Electronic Notes in Theoretical Computer Science 253(5), Elsevier 2009 - Elvira Albert, Samir Genaim:
Preface. 1-2 - Stefan Brunthaler
:
Virtual-Machine Abstraction and Optimization Techniques. 3-14 - Laurent Hubert, David Pichardie:
Soundly Handling Static Fields: Issues, Semantics and Analysis. 15-30 - Xin Li, Mizuhito Ogawa:
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. 31-46 - Phil McGachey, Antony L. Hosking
, J. Eliot B. Moss:
Pervasive Load-Time Transformation for Transparently Distributed Java. 47-64 - Étienne Payet, Fausto Spoto
:
Experiments with Non-Termination Analysis for Java Bytecode. 83-96 - Arno Puder, Jessica Lee:
Towards an XML-based Bytecode Level Transformation Framework. 97-111 - Aleksy Schubert, Daria Walukiewicz-Chrzaszcz:
The Non-Interference Protection in BML. 113-127 - Fausto Spoto
, Lunjin Lu, Fred Mesnard:
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. 129-144 - Massimo Bartoletti
, Gabriele Costa
, Roberto Zunino:
Jalapa: Securing Java with Local Policies: Tool Demonstration. 145-151 - Lieven Desmet
, Wouter Joosen, Fabio Massacci
, Katsiaryna Naliuka, Pieter Philippaerts
, Frank Piessens, Dries Vanoverberghe:
The S3MS.NET Run Time Monitor: Tool Demonstration. 153-159
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.