Cover Image
Read Now

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 Authors: Stärk, Robert F., Schmid, Joachim (Author), Börger, Egon (Author)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2001, 2001
Edition:1st ed. 2001
Subjects:
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Programming
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 1. Introduction
  • 1.1 The goals of the book
  • 1.2 The contents of the book
  • 1.3 Decomposing Java and the JVM
  • 1.4 Sources and literature
  • 2. Abstract State Machines
  • 2.1 ASMs in a nutshell
  • 2.2 Mathematical definition of ASMs
  • 2.3 Notational conventions
  • I. Java
  • 3. The imperative core JavaI of Java
  • 4. The procedural extension JavaC of JavaI
  • 5. The object-oriented extension

Similar Items