|
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 code from the book, and other related stuff can be found on the here.
The book is organised by layers: it start with the imperative subset of Java, moves on to procedural code, then to OO, exceptions, and concurrency.
The book covers compilation and the execution of bytecodes as well.
I haven't seen the book, but it looks interesting. Let us know if you have comments!
Posted to Misc-Books by Ehud Lamm on 6/13/01; 4:54:57 AM
|
|
Java and the Java Virtual Machine - Definition, Verification
