Volume 141; Issue 1

1

JVM Bytecode Verification Without Dataflow Analysis

Year:
2005
Language:
english
File:
PDF, 278 KB
english, 2005
2

A Verifier for Region-Annotated Java Bytecodes

Year:
2005
Language:
english
File:
PDF, 300 KB
english, 2005
3

BAT2XML: XML-based Java Bytecode Representation

Year:
2005
Language:
english
File:
PDF, 622 KB
english, 2005
4

Bytecode Analysis for Proof Carrying Code

Year:
2005
Language:
english
File:
PDF, 280 KB
english, 2005
5

Preface

Year:
2005
Language:
english
File:
PDF, 50 KB
english, 2005
6

A Program Logic for Bytecode

Year:
2005
Language:
english
File:
PDF, 352 KB
english, 2005
10

Kleene Algebra and Bytecode Verification

Year:
2005
Language:
english
File:
PDF, 270 KB
english, 2005
16

Proof-carrying Bytecode

Year:
2005
Language:
english
File:
PDF, 259 KB
english, 2005