Overview
- The first book to provide a rigorous mathematical analysis of Java
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 chapters)
-
Introduction
-
Abstract State Machine
-
Java
-
Compilation of Java: The Trustful JVM
-
Bytecode Verification: The Secure JVM
Keywords
About this book
Reviews
From the reviews:
"A professional Java programmer must know what his program exactly will do, if it is run on a Java Virtual Machine (JVM). To help these professionals, the book presents a mathematical framework using the notation of Abstract State Machines (ASMs). … it is addressed to professional software engineers and to advanced students who require a complete and exact definition of Java and of the behaviour of the JVM. With AsmGofer an interesting experimental system for program verification is available." (W. Brecht, Zentralblatt MATH, Vol. 978, 2002)
Authors and Affiliations
Bibliographic Information
Book Title: Java and the Java Virtual Machine
Book Subtitle: Definition, Verification, Validation
Authors: Robert F. Stärk, Joachim Schmid, Egon Börger
DOI: https://doi.org/10.1007/978-3-642-59495-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Hardcover ISBN: 978-3-540-42088-0Published: 20 June 2001
Softcover ISBN: 978-3-642-63997-5Published: 23 August 2014
eBook ISBN: 978-3-642-59495-3Published: 06 December 2012
Edition Number: 1
Number of Pages: X, 381
Number of Illustrations: 13 b/w illustrations
Topics: Programming Techniques, Programming Languages, Compilers, Interpreters, Software Engineering
Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications