Normal view MARC view ISBD view

Java and the Java virtual machine : definition, verification, validation / Robert F. Stark, Joachim Schmid, Egon Borger.

By: Stark, Robert F, 1963-.
Contributor(s): Borger, Egon, 1946- [(j.a.)] | Schmid, Joachim, 1974- [(j.a.)].
Publisher: Berlin : Springer, c2001Description: x, 381 p. : ill. ; 25 cm.ISBN: 3540420886.Subject(s): Java (Computer program language) | Virtual computer systemsDDC classification: 005.133
Contents:
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.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Accompanying Material (Media Resource) TU External Storage-LCS
005.133 STA (Browse shelf) 1 Available SOCIT,15010,03,GR 1000116781 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

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.)