Volume 30, Issue 3-4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 30, Issue 3-4

May 2003

Filter by

Volume:

Sort by

Date published:

New to old Old to new

9 articles in this issue

Java Bytecode Verification
Tobias Nipkow
Editorial Introduction Pages: 233 - 233
Java Bytecode Verification: Algorithms and Formalizations
Xavier Leroy
OriginalPaper Pages: 235 - 269
A Type System for the Java Bytecode Language and Verifier
Stephen N. Freund
John C. Mitchell
OriginalPaper Pages: 271 - 321
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
Robert F. Stärk
Joachim Schmid
OriginalPaper Pages: 323 - 361
Verified Bytecode Subroutines
G. Klein
M. Wildmoser
OriginalPaper Pages: 363 - 398
Bytecode Verification by Model Checking
David Basin
Stefan Friedrich
Marek Gawkowski
OriginalPaper Pages: 399 - 444
Author Index to Volume 30

Authors Index Pages: 445 - 445
Subject Index to Volume 30

Subject Index Pages: 447 - 447
Contents to Volume 30

Volume Contents Pages: 449 - 450