Java and the Java Virtual Machine - Definition, Verification, Validation (2001)

Cached

Download Links

by Robert Stärk , Joachim Schmid , Egon Börger
Citations:105 - 12 self

Active Bibliography

5 The Problem of Bytecode Verification in Current Implementations of the JVM – Robert F. Stärk, Joachim Schmid - 2000
7 Improving the Official Specification of Java Bytecode Verification – Alessandro Coglio - 2001
1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
9 Modular Design for the Java Virtual Machine Architecture – Egon Börger, Wolfram Schulte - 1999
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
3 Java Bytecode Verification is Not Possible – Robert F. Stärk, Joachim Schmid - 2000
5 Completeness of a bytecode verifier and a certifying Java-to-JVM compiler – Robert F. Stärk, Joachim Schmid - 2003
Completeness of a bytecode verifier and a certifying – Robert F. Stärk, Eth Zürich, Joachim Schmid
457 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999