Java and the Java Virtual Machine

Definition, Verification, Validation

By: Robert F. StÃ¤rk, Joachim Schmid, Egon BÃ¶rger

Write A Review

Hardcover | 20 June 2001

At a Glance

Hardcover
398 Pages

Dimensions(cm)
24.77 x 17.15 x 2.54

Hardcover

$119.90

or 4 interest-free payments of $29.98 with

Ships in 5 to 7 business days

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result. An intensive and long debate arose from this discussion. At the end of the week, it led Egon Borger to propose a collaboration on a real-life specification project of Wolfram Schulte's choice, as a comparative field test of purely functional declarative methods and of their enhancement within an integrated abstract state-based operational (ASM) approach. After some hesitation, in May 1997 Wolfram Schulte accepted the offer and chose as the theme a high-level specification of Java and of the Java Virtual Machine.

Industry 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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Web Programming Programming & Scripting Languages Software Engineering Compilers & Interpreters Computer Science Computer Architecture & Logic Design

Introduction	p. 1
Abstract State Machines	p. 15
The imperative core Java[subscript I] of Java	p. 33
The procedural extension Java[subscript C] of Java[subscript I]	p. 47
The object-oriented extension Java[subscript O] of Java[subscript C]	p. 71
The exception-handling extension Java[subscript E] of Java[subscript O]	p. 87
The concurrent extension Java[subscript T] of Java[subscript E]	p. 95
Java is type safe	p. 111
The JVM[subscript I] submachine	p. 139
The procedural extension JVM[subscript C] of JVM[subscript I]	p. 147
The object-oriented extension JVM[subscript O] of JVM[subscript C]	p. 155
The exception-handling extension JVM[subscript E] of JVM[subscript O]	p. 159
Executing the JVM[subscript N]	p. 165
Correctness of the compiler	p. 167
The defensive virtual machine	p. 209
Bytecode type assignments	p. 223
The diligent virtual machine	p. 273
The dynamic virtual machine	p. 289
App. A: Executable Models	p. 305
App. B: Java	p. 323
App. C: JVM	p. 335
App. D: Compiler	p. 361
References	p. 365
List of Figures	p. 367
List of Tables	p. 371
Index	p. 373
Table of Contents provided by Blackwell. All Rights Reserved.

Java and the Java Virtual Machine

Definition, Verification, Validation

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Design Patterns

Elements of Reusable Object-Oriented Software

The Essence of Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Coding All-in-One For Dummies

2nd Edition

Refactoring 2ed

Improving the Design of Existing Code

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Hacking For Dummies

For Dummies (Computer/Tech)

Git : Pocket Guide

A Working Introduction

Arduino for Dummies

Blackwell Philosophy Anthologies

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Typescript Cookbook

Real World Type-Level Programming

User Story Mapping

Discover the Whote Story, Build the Right Product

Site Reliability Engineering

How Google Runs Production Systems

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Learning Algorithms

A Programmer's Guide to Writing Better Code

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

C# 12 in a Nutshell

The Definitive Reference

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by