Newsletter   Secure Checkout   Shopping Cart (0 Items)  
Search:    Welcome Guest! Save up to 30-40% on most items with our awesome everyday discounts!

Java and the Java Virtual Machine: Definition, Verification, Validation [Hardcover]

Our Price $ 102.46  
Retail Value $ 109.00  
You Save $ 6.54  
Item Number 230534  
Buy New $102.46
Available on the Internet only.

Item description for Java and the Java Virtual Machine: Definition, Verification, Validation by Robert F. Stark, Egon Borger & Joachim Shmid...

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

Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at!

Item Specifications...

Pages   381
Est. Packaging Dimensions:   Length: 1" Width: 6.75" Height: 9.75"
Weight:   1.6 lbs.
Binding  Hardcover
Release Date   Jun 27, 2001
Publisher   Springer
ISBN  3540420886  
ISBN13  9783540420880  

Availability  143 units.
Availability accurate as of Oct 27, 2016 01:19.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.

More About Robert F. Stark, Egon Borger & Joachim Shmid

Register your artisan biography and upload your photo! Robert F. Stark currently resides in Zurich. Robert F. Stark was born in 1963 and has an academic affiliation as follows - ETH Zentrum.

Are You The Artisan or Author behind this product?
Improve our customers experience by registering for an Artisan Biography Center Homepage.

Product Categories

1Books > Bargain Books > Children > Science, Nature & How It Works
2Books > Subjects > Computers & Internet > General
3Books > Subjects > Computers & Internet > Hardware > Microprocessors & System Design > Computer Design
4Books > Subjects > Computers & Internet > Networking
5Books > Subjects > Computers & Internet > Programming > General
6Books > Subjects > Computers & Internet > Programming > Java > General
7Books > Subjects > Computers & Internet > Programming > Languages & Tools > Compiler Design
8Books > Subjects > Computers & Internet > Programming > Languages & Tools > Compilers

Reviews - What do customers think about Java and the Java Virtual Machine: Definition, Verification, Validation?

These are REAL scientists, not IT guys...  Dec 22, 2006
This is by far the most sophisticated software book since the Cold War. Without the Soviets to keep western engineers and scientists on their toes, IT is a alot of marketing buzzwords.

These are real scientists...a breath a fresh air.

Plainly Boring  Jan 23, 2006
It just shows an implementation for an old Java specification (I think JDK1 or JDK1.1) in a weird language called ASM. This ASM is simply a glorified programming language, even not one of the most advanced: haskell, for instance, is much more clearer. You /could/ think about it as a model for java but then it would be useless because of its intricacies and its gigantic size.
rigorous, interesting examples, great software!  May 21, 2004
this book is one of a kind, among all the java books on the market. it breaks the java language into 5 (progressive) layers, and gives the abstract syntax, static semantic (type constraints), dynamic semantic (interpretation), and complitation rules of each layer. This approach is effective, mathematically rigorous, and believe or not, fun to read!

as most of the PL books with formal flavor, the notations take some time to get use to. but the rewarding is worth the effort: you get a very clear picture of language itself. the examples are quite interesting, and the software on the CD does a superb job animating the intrepretation of java programs.

all in all, a very good (academic) book, perfect for computer scientists or CS major graduate student interested in PL, but probably not for everyday programmers.


Write your own review about Java and the Java Virtual Machine: Definition, Verification, Validation

Ask A Question or Provide Feedback regarding Java and the Java Virtual Machine: Definition, Verification, Validation

Item Feedback and Product Questions
For immediate assistance call 888.395.0572 during the hours of 10am thru 8pm EST Monday thru Friday and a customer care representative will be happy to help you!

Help us continuously improve our service by reporting your feedback or questions below:

I have a question regarding this product
The information above is incorrect or conflicting
The page has misspellings or incorrect grammar
The page did not load correctly in my browser or created an error.

Email Address:
Anti Spam Question. To combat spammers we require that you answer a simple question.
What color is the sky?
Leave This Blank :
Do Not Change This Text :

Add This Product Widget To Your Website

Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.

    Copy and paste the following HTML into your website and enjoy!

Order toll-free weekdays 10am thru 10pm EST by phone: 1-888-395-0572 (Lines are closed on holidays & weekends.)
Customer Service | My Account | Track My Orders | Return Policy | Request Free Catalog | Email Newsletter

Gift Certificates
RSS Feeds
About Us
Contact Us
Terms Of Use
Privacy Policy