default search action

combined dblp search
author search
venue search
publication search

ask others

4th BYTECODE@ETAPS 2009: York, UK

> Home > Conferences and Workshops > BYTECODE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/bytecode/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bytecode/2009
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlbertG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlbertG09
Elvira Albert, Samir Genaim:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Brunthaler09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Brunthaler09
Stefan Brunthaler:
Virtual-Machine Abstraction and Optimization Techniques. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HubertP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HubertP09
Laurent Hubert, David Pichardie:
Soundly Handling Static Fields: Issues, Semantics and Analysis. 15-30
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiO09
Xin Li, Mizuhito Ogawa:
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. 31-46
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/McGacheyHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/McGacheyHM09
Phil McGachey, Antony L. Hosking, J. Eliot B. Moss:
Pervasive Load-Time Transformation for Transparently Distributed Java. 47-64
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NavasMH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NavasMH09
Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo:
User-Definable Resource Usage Bounds Analysis for Java Bytecode. 65-82
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PayetS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PayetS09
Étienne Payet, Fausto Spoto:
Experiments with Non-Termination Analysis for Java Bytecode. 83-96
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PuderL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PuderL09
Arno Puder, Jessica Lee:
Towards an XML-based Bytecode Level Transformation Framework. 97-111
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SchubertW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SchubertW09
Aleksy Schubert, Daria Walukiewicz-Chrzaszcz:
The Non-Interference Protection in BML. 113-127
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SpotoLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SpotoLM09
Fausto Spoto, Lunjin Lu, Fred Mesnard:
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. 129-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiCZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiCZ09
Massimo Bartoletti, Gabriele Costa, Roberto Zunino:
Jalapa: Securing Java with Local Policies: Tool Demonstration. 145-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DesmetJMNPPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DesmetJMNPPV09
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.