Java and the Java Virtual Machine Definition, Verification, Validation / by Robert F. Stärk, Joachim Schmid, Egon Börger.
This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is struc...
Full description
Saved in: