- Hardcover: 392 pages
- Publisher: Springer; Har/Cdr edition (20 Jun 2001)
- Language German
- ISBN-10: 3540420886
- ISBN-13: 978-3540420880
- Product Dimensions: 24 x 15.8 x 2.6 cm
- Amazon Bestsellers Rank: 2,096,709 in Books (See Top 100 in Books)
- See Complete Table of Contents
Java and the Java Virtual Machine
and over one million other books are available for Amazon Kindle .
Learn more
| |||||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Product Description
Review
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)
Product Description
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 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 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.)
Inside This Book
(Learn More)
First Sentence
The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some fundamental operational intuitions of computing, and the notation is familiar from programming practice and mathematical standards. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Back Cover
The notion of Abstract State Machines (ASMs), defined in [20], captures in mathematically rigorous yet transparent form some fundamental operational intuitions of computing, and the notation is familiar from programming practice and mathematical standards. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Back Cover
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Customer Reviews
There are no customer reviews yet on Amazon.co.uk.
5 star
4 star
3 star
2 star
1 star
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
3 reviews
12 of 13 people found the following review helpful
rigorous, interesting examples, great software!
20 May 2004
Format:Hardcover
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.
1 of 5 people found the following review helpful
These are REAL scientists, not IT guys...
22 Dec 2006
Format:Hardcover
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.
These are real scientists...a breath a fresh air.
3 of 17 people found the following review helpful
Plainly Boring
23 Jan 2006
Format:Hardcover
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.
Were these reviews helpful?
Let us know
Listmania!
Look for similar items by category
- Books > Computing & Internet > Computer Science > Architecture & Microprocessors
- Books > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
- Books > Computing & Internet > Networking & Security > Network Topics
- Books > Computing & Internet > Programming > Compilers
- Books > Computing & Internet > Programming > Languages > Java
- Books > Computing & Internet > Software & Graphics
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
