Cover Image

Java and the Java Virtual Machine : Definition, Verification, Validation /

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 description is struc...

Full description

Bibliographic Details
Main Author: Stärk, Robert F.
Corporate Author: SpringerLink (Online service)
Other Authors: Schmid, Joachim, Börger, Egon
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.
Subjects:
Computer science.
Software engineering.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Abstract State Machines
  • Part I. Java
  • Part II. Compilation of Java: The Trustful JVM
  • Part III. Bytecode Verification: The Secure JVM
  • Appendix
  • Index.