default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th 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 - Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo:
User-Definable Resource Usage Bounds Analysis for Java Bytecode. 65-82 - É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
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.
last updated on 2025-01-16 22:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
