Volume 253; Issue 5

1

Virtual-Machine Abstraction and Optimization Techniques

Year:
2009
Language:
english
File:
PDF, 425 KB
english, 2009
4

Experiments with Non-Termination Analysis for Java Bytecode

Year:
2009
Language:
english
File:
PDF, 284 KB
english, 2009
5

The Non-Interference Protection in BML

Year:
2009
Language:
english
File:
PDF, 384 KB
english, 2009
9

Preface

Year:
2009
Language:
english
File:
PDF, 92 KB
english, 2009
10

An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java

Year:
2009
Language:
english
File:
PDF, 547 KB
english, 2009
12

Towards an XML-based Bytecode Level Transformation Framework

Year:
2009
Language:
english
File:
PDF, 293 KB
english, 2009