Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation, 9783540420880 (3540420886), Springer, 2001

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 structured into language layers and machine components. It comes with a natural executable refinement (written in AsmGofer and provided on CD ROM) which can be used for testing code. The method developed for this purpose is based on Abstract State Machines (ASMs) and can be applied to other virtual machines and to other programming languages as well. The book is written for advanced students and for professionals and practitioners in research and development who need a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.The CD ROM contains the entire text of the book and numerous examples and exercises. "The Jbook gives the most comprehensive and consistent formal account of the combination of Java and the JVM." (Pieter Hartel and Luc Moreau in Formalizing the Safety of Java, the Java Virtual Machine and Java Card, ACM Computing Surveys, 33(4):517-558, 2001. Section 6.2, page 540.)

Comments

Amazing Books

Biometric Systems: Technology, Design and Performance Evaluation

Springer, 2004

This book provides practitioners with an overview of the principles & methods needed to build reliable biometric systems. It covers 3 main topics: key biometric technologies, testing & management issues, & the legal and system considerations of biometric systems for personal verification/identification. It focuses on the 4 most widely...

Retail Marketing Management

Financial Times Management, 2003

For undergraduate and postgraduate courses in Retail Marketing and Marketing Management, and HND Retail Marketing. The second edition of this highly successful text offers a unique approach that combines retail marketing theory with the newer retail concepts and international examples. Building on the first edition this text starts by looking...

Performance and Fault Management (Cisco Press Core Series)

Cisco Press, 2000

The key to efficiently running networks is proper management. Performance management measures a network's level of operation, ensures that it maintains an acceptable level, and provides information for expanding the network. Fault management detects, logs, and notifies users of network problems and automatically fixes many...

Cross-Calibration of Far UV Spectra of Solar System Objects and the Heliosphere (ISSI Scientific Report Series)

Springer, 2013

This book is the result of a working group sponsored by ISSI in Bern, which was initially created to study possible ways to calibrate a Far Ultraviolet (FUV) instrument after launch. In most cases, ultraviolet instruments are well calibrated on the ground, but unfortunately, optics and detectors in the FUV are very sensitive to contaminants...

Macromedia Dreamweaver MX 2004 Magic

New Riders Publishing, 2003

As a serious Web designer or developer, you'll want to do one thing and one thing only when you lay your hands on the latest version of Dreamweaver: Start tinkering with all its new features. Problem is that's hard to do on someone else's dime. With Dreamweaver MX 2004 Magic, you don't have to! In these pages, Dreamweaver wizards Mossimo...

Empirically Engaged Evolutionary Ethics (Synthese Library, 437)

Springer, 2021

A growing body of evidence from the sciences suggests that our moral beliefs have an evolutionary basis. To explain how human morality evolved, some philosophers have called for the study of morality to be naturalized, i.e., to explain it in terms of natural causes by looking at its historical and biological origins. The present...