Authors:
The first book to provide a rigorous mathematical analysis of Java
Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 chapters)
-
Front Matter
-
Introduction
-
Abstract State Machine
-
Java
-
Front Matter
-
-
Compilation of Java: The Trustful JVM
-
Front Matter
-
-
Bytecode Verification: The Secure JVM
-
Front Matter
-
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
-
Theoretische Informatik, ETH Zentrum, Zürich, Switzerland
Robert F. Stärk
-
Siemens AG, München, Germany
Joachim Schmid
-
Dipartimento di Informatica, Università di Pisa, Pisa, Italy
Egon Börger
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