Stark, Robert F.,  1963- <br/><br/>
Java and the Java virtual machine :  definition, verification, validation / 
Robert F. Stark, Joachim Schmid, Egon Borger. 
 - Berlin :  Springer,  c2001 
 - x, 381 p. :  ill. ;  25 cm. 
<br/><br/>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. 
<br/><br/>Accompanied by 1 computer optical disc (4 3/4 in.) 
<br/><br/><label>ISBN: </label>3540420886 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Java (Computer program language)<br/>Virtual computer systems.
<br/><br/><label>Dewey Class. No.: </label>005.133  / STA