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 $79.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 Web Programming

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Python Workout, Second Edition

200 ten-minute exercises

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Web Engineering

Theory and Practice

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Learning Go

An Idiomatic Approach to Real-World Go Programming

Introduction to Machine Learning with Python

A Guide for Data Scientists

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Python for Excel

A Modern Environment for Automation and Data Analysis

Python Cookbook

Recipes for Mastering Python : 3rd Edition

Architecture Patterns with Python

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

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

Developing Graphics Frameworks with Java and OpenGL

Cloud Computing

2nd Edition - Concepts, Technology, Security, and Architecture

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Data Management at Scale

Modern Data Architecture with Data Mesh and Data Fabric

Python for Finance 2e

Mastering Data-Driven Finance

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Learning Spark

Lightning-Fast Data Analytics

This product is categorised by