Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 253, number: 5

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Virtual-Machine Abstraction and Optimization Techniques. [Citation Graph (, )][DBLP]
   
   
3. 
   Soundly Handling Static Fields: Issues, Semantics and Analysis. [Citation Graph (, )][DBLP]
   
   
4. 
   An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. [Citation Graph (, )][DBLP]
   
   
5. 
   Pervasive Load-Time Transformation for Transparently Distributed Java. [Citation Graph (, )][DBLP]
   
   
6. 
   User-Definable Resource Usage Bounds Analysis for Java Bytecode. [Citation Graph (, )][DBLP]
   
   
7. 
   Experiments with Non-Termination Analysis for Java Bytecode. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards an XML-based Bytecode Level Transformation Framework. [Citation Graph (, )][DBLP]
   
   
9. 
   The Non-Interference Protection in BML. [Citation Graph (, )][DBLP]
   
   
10. 
    Using CLP Simplifications to Improve Java Bytecode Termination Analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Jalapa: Securing Java with Local Policies: Tool Demonstration. [Citation Graph (, )][DBLP]
    
    
12. 
    The S3MS.NET Run Time Monitor: Tool Demonstration. [Citation Graph (, )][DBLP]