skip to content
Java and the Java Virtual Machine : Definition, Verification, Validation Preview this item
ClosePreview this item
Checking...

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

Author: Robert F Stärk; Joachim Schmid; Egon Börger
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert F Stärk; Joachim Schmid; Egon Börger
ISBN: 9783642594953 3642594956
OCLC Number: 851702827
Description: 1 online resource (xii, 392 pages 84 illustrations)
Contents: Introduction --
Abstract State Machines --
Part I. Java --
Part II. Compilation of Java: The Trustful JVM --
Part III. Bytecode Verification: The Secure JVM --
Appendix --
Index.
Responsibility: by Robert F. Stärk, Joachim Schmid, Egon Börger.

Abstract:

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.

Reviews

Editorial reviews

Publisher Synopsis

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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851702827> # Java and the Java Virtual Machine : Definition, Verification, Validation
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "851702827" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/36173109#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://dewey.info/class/005.13/e23/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/36173109#Person/schmid_joachim> ; # Joachim Schmid
   schema:contributor <http://experiment.worldcat.org/entity/work/data/36173109#Person/borger_egon> ; # Egon Börger
   schema:creator <http://viaf.org/viaf/117511390> ; # Robert F. Stärk
   schema:datePublished "2001" ;
   schema: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 for their work a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation."@en ;
   schema:description "Introduction -- Abstract State Machines -- Part I. Java -- Part II. Compilation of Java: The Trustful JVM -- Part III. Bytecode Verification: The Secure JVM -- Appendix -- Index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/36173109> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/36173109#CreativeWork/> ;
   schema:name "Java and the Java Virtual Machine : Definition, Verification, Validation"@en ;
   schema:productID "851702827" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851702827#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/36173109#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3093928> ;
   schema:url <http://link.springer.com/10.1007/978-3-642-59495-3> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-59495-3> ;
   schema:workExample <http://worldcat.org/isbn/9783642594953> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-59495-3> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851702827> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/36173109#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/36173109#Person/borger_egon> # Egon Börger
    a schema:Person ;
   schema:familyName "Börger" ;
   schema:givenName "Egon" ;
   schema:name "Egon Börger" ;
    .

<http://experiment.worldcat.org/entity/work/data/36173109#Person/schmid_joachim> # Joachim Schmid
    a schema:Person ;
   schema:familyName "Schmid" ;
   schema:givenName "Joachim" ;
   schema:name "Joachim Schmid" ;
    .

<http://experiment.worldcat.org/entity/work/data/36173109#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/978-3-642-59495-3>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/117511390> # Robert F. Stärk
    a schema:Person ;
   schema:familyName "Stärk" ;
   schema:givenName "Robert F." ;
   schema:name "Robert F. Stärk" ;
    .

<http://worldcat.org/entity/work/data/36173109#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851702827> ; # Java and the Java Virtual Machine : Definition, Verification, Validation
    .

<http://worldcat.org/isbn/9783642594953>
    a schema:ProductModel ;
   schema:isbn "3642594956" ;
   schema:isbn "9783642594953" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.