Items related to Java and the Java Virtual Machine: Definition, Verification,...
Synopsis
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.
"synopsis" may belong to another edition of this title.
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)
From the Back Cover
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 for their work a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2001
- ISBN 10 3540420886
- ISBN 13 9783540420880
- BindingHardcover
- LanguageEnglish
- Number of pages391
Other Popular Editions of the Same Title
Search results for Java and the Java Virtual Machine: Definition, Verification,...
Stock Image
Java and the Java Virtual Machine: Definition, Verification, Validation
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Java and the Java Virtual Machine: Definition, Verification, Validation This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Seller Inventory # 7719-9783540420880
Quantity: 1 available
Stock Image
Java and the Java Virtual Machine: Definition, Verification, Validation
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Seller Inventory # 6545-9783540420880
Quantity: 1 available
Stock Image
Java and the Java Virtual Machine: Definition, Verification, Validation
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10: 3540420886
ISBN 13: 9783540420880
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-628-151
Quantity: 1 available
Stock Image
Java and the Java Virtual Machine: Definition, Verification, Validation
Seller: Grumpys Fine Books, Tijeras, NM, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: very good. little wear and tear. Seller Inventory # Grumpy3540420886
Quantity: 1 available
Stock Image
Java and the Java Virtual Machine: Definition, Verification, Validation
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned3540420886
Quantity: 1 available
Stock Image
Java And The Java Virtual Machine : Definition, Verification, Validation
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-267351
Quantity: 1 available
Stock Image
Java And The Java Virtual Machine : Definition, Verification, Validation
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-87468
Quantity: 1 available
Stock Image
Java and the Java Virtual Machine: Definition, Verification, Validation
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020166895
Quantity: Over 20 available
Seller Image
Java and the Java Virtual Machine : Definition, Verification, Validation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 597768-n
Quantity: 15 available
Seller Image
Java and the Java Virtual Machine: Definition, Verification, Validation (Hardback or Cased Book)
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Hardback or Cased Book. Condition: New. Java and the Java Virtual Machine: Definition, Verification, Validation 1.59. Book. Seller Inventory # BBS-9783540420880
Quantity: 5 available