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

0 avg rating
( 0 ratings by Goodreads )
 
9783540420880: Java and the Java Virtual Machine: Definition, Verification, Validation
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

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.

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)

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Robert F. Stärk, Joachim Schmid, Egon Börger
Published by Springer (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2001. Hardcover. Condition: New. 2001. Seller Inventory # DADAX3540420886

More information about this seller | Contact this seller

Buy New
US$ 78.71
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

2.

Robert Stark
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2001. UNK. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540420880

More information about this seller | Contact this seller

Buy New
US$ 97.97
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Robert F. Stärk; Joachim Schmid; Egon Börger
Published by Springer (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2001. Condition: New. Seller Inventory # L9783540420880

More information about this seller | Contact this seller

Buy New
US$ 103.77
Convert currency

Add to Basket

Shipping: US$ 3.52
From Germany to U.S.A.
Destination, rates & speeds

4.

ROBERT F. STÇÏRK
Published by Springer (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2001. Hardback. Condition: NEW. 9783540420880 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0334692

More information about this seller | Contact this seller

Buy New
US$ 98.41
Convert currency

Add to Basket

Shipping: US$ 10.59
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

St?rk Robert F.
Published by Springer
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Condition: New. pp. xii + 392. Seller Inventory # 7531415

More information about this seller | Contact this seller

Buy New
US$ 107.18
Convert currency

Add to Basket

Shipping: US$ 7.30
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Robert F. St?rk
Published by Springer (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2001. UNK. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540420880

More information about this seller | Contact this seller

Buy New
US$ 104.87
Convert currency

Add to Basket

Shipping: US$ 11.94
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Robert F. Stärk
Published by Springer-Verlag Gmbh Jun 2001 (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Jun 2001, 2001. Sonstige Video. Condition: Neu. Neuware - 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. 381 pp. Englisch. Seller Inventory # 9783540420880

More information about this seller | Contact this seller

Buy New
US$ 103.77
Convert currency

Add to Basket

Shipping: US$ 14.13
From Germany to U.S.A.
Destination, rates & speeds

8.

Robert F. Stärk; Joachim Schmid; Egon Börger
Published by Springer (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2001. Condition: New. book. Seller Inventory # M3540420886

More information about this seller | Contact this seller

Buy New
US$ 114.89
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

9.

Robert F. Stärk (author), Joachim Schmid (author), Egon Börger (author)
Published by Springer Berlin Heidelberg 2001-06-20, Berlin (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2001-06-20, Berlin, 2001. multimedia item. Condition: New. Seller Inventory # 9783540420880

More information about this seller | Contact this seller

Buy New
US$ 112.21
Convert currency

Add to Basket

Shipping: US$ 9.95
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

Robert F. Stärk
Published by Springer-Verlag Gmbh Jun 2001 (2001)
ISBN 10: 3540420886 ISBN 13: 9783540420880
New Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Jun 2001, 2001. Sonstige Video. Condition: Neu. Neuware - 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. 381 pp. Englisch. Seller Inventory # 9783540420880

More information about this seller | Contact this seller

Buy New
US$ 103.77
Convert currency

Add to Basket

Shipping: US$ 20.17
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book