TY  - BOOK
AU  - Stark,Robert F.
AU  - Borger,Egon
AU  - Schmid,Joachim
TI  - Java and the Java virtual machine: definition, verification, validation 
SN  - 3540420886
U1  - 005.133 
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Java (Computer program language)
KW  - Virtual computer systems
N1  - 1. Introduction. - 2. Abstract State Machines. Pt. 1. Java. 3. The imperative core Java of Java. 4. The procedural extension Java of Java. 5. The object-oriented extension Java of Java. 6. The exception-handling extension Java of Java. 7. The concurrent extension Java of Java. 8. Java is type safe. - Pt. II. Compilation of Java: The Trustful JVM. 9. The JVM submachine. 10. The procedural extension JVM of JVM. 11. The object-oriented extension JVM of JVM. 12. The  exception-handling extension JVM of JVM. 13. Executing the JVM. 14. Correctness of the compiler. _ Pt. III. Bytecode Verification: The Secure JVM. 15 The defensive virtual machine. 16. Bytecode type assignments. 17. The diligent virtual machine. 18. The dynamic virtual machine. - Appendix. A: Executable Models. - Appendix. B: Java. - Appendix. C: JVM. - Appendix. D: Compiler. -   References. - List of Figures. - List of Tables. - Index; Accompanied by 1 computer optical disc (4 3/4 in.)
ER  -