1. Java Bytecode Verification

   • Tobias Nipkow

   Editorial Introduction Pages: 233 - 233

2. Java Bytecode Verification: Algorithms and Formalizations

   • Xavier Leroy

   OriginalPaper Pages: 235 - 269

3. A Type System for the Java Bytecode Language and Verifier

   • Stephen N. Freund
   • John C. Mitchell

   OriginalPaper Pages: 271 - 321

4. Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler

   • Robert F. Stärk
   • Joachim Schmid

   OriginalPaper Pages: 323 - 361

5. Verified Bytecode Subroutines

   • G. Klein
   • M. Wildmoser

   OriginalPaper Pages: 363 - 398

6. Bytecode Verification by Model Checking

   • David Basin
   • Stefan Friedrich
   • Marek Gawkowski

   OriginalPaper Pages: 399 - 444

7. Author Index to Volume 30

   Authors Index Pages: 445 - 445

8. Subject Index to Volume 30

   Subject Index Pages: 447 - 447

9. Contents to Volume 30

   Volume Contents Pages: 449 - 450