000 | 01838nam a2200253 4500 | ||
---|---|---|---|
001 | vtls002165860 | ||
003 | MY-SjTCS | ||
005 | 20200306153415.0 | ||
008 | 110218s2001 gw a 001 eng | ||
020 | _a3540420886 | ||
039 | 9 |
_a201909181736 _bummi _c201102181757 _dVLOAD _y200407271927 _zVLOAD |
|
082 | 0 | 4 |
_a005.133 _bSTA |
100 | 1 |
_aStark, Robert F., _d1963- _913289 |
|
245 | 1 | 0 |
_aJava and the Java virtual machine : _bdefinition, verification, validation / _cRobert F. Stark, Joachim Schmid, Egon Borger. |
260 |
_aBerlin : _bSpringer, _cc2001 |
||
300 |
_ax, 381 p. : _bill. ; _c25 cm. |
||
505 | 0 | _a1. 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. | |
525 | _aAccompanied by 1 computer optical disc (4 3/4 in.) | ||
650 | 0 |
_aJava (Computer program language) _917415 |
|
650 | 0 |
_aVirtual computer systems. _913290 |
|
700 | 1 |
_aBorger, Egon, _d1946- _e(j.a.) _9200149 |
|
700 | 1 |
_aSchmid, Joachim, _d1974- _e(j.a.) _9200150 |
|
920 | _aDIPIT : 540073, CD540073 | ||
999 |
_c20229 _d20229 |