skip to content
The Java virtual machine specification Preview this item
ClosePreview this item
Checking...

The Java virtual machine specification

Author: Tim Lindholm
Publisher: Upper Saddle River, N.J. : Addison-Wesley, ©2013.
Series: Java series.
Edition/Format:   eBook : Document : English : Java SE 7 edView all editions and formats
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: (OCoLC)815363509
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Tim Lindholm
ISBN: 9780133260496 0133260496 0133260445 9780133260441 9780133260465 0133260461
OCLC Number: 846954558
Description: 1 online resource (1 volume).
Contents: Preface to the Java SE 7 Edition xiii Preface to the Second Edition xv Preface to the First Edition xvii Chapter 1: Introduction 1 1.1 A Bit of History 1 1.2 The Java Virtual Machine 2 1.3 Summary of Chapters 3 1.4 Notation 4 Chapter 2: The Structure of the Java Virtual Machine 5 2.1 The class File Format 5 2.2 Data Types 6 2.3 Primitive Types and Values 6 2.4 Reference Types and Values 11 2.5 Run-Time Data Areas 11 2.6 Frames 15 2.7 Representation of Objects 19 2.8 Floating-Point Arithmetic 19 2.9 Special Methods 22 2.10 Exceptions 23 2.11 Instruction Set Summary 25 2.12 Class Libraries 37 2.13 Public Design, Private Implementation 37 Chapter 3: Compiling for the Java Virtual Machine 39 3.1 Format of Examples 39 3.2 Use of Constants, Local Variables, and Control Constructs 40 3.3 Arithmetic 45 3.4 Accessing the Run-Time Constant Pool 46 3.5 More Control Examples 47 3.6 Receiving Arguments 49 3.7 Invoking Methods 50 3.8 Working with Class Instances 53 3.9 Arrays 55 3.10 Compiling Switches 57 3.11 Operations on the Operand Stack 58 3.12 Throwing and Handling Exceptions 59 3.13 Compiling finally 63 3.14 Synchronization 66 3.15 Annotations 67 Chapter 4: The class File Format 69 4.1 The ClassFile Structure 70 4.2 The Internal Form of Names 75 4.3 Descriptors and Signatures 76 4.4 The Constant Pool 82 4.5 Fields 95 4.6 Methods 97 4.7 Attributes 100 4.8 Format Checking 140 4.9 Constraints on Java Virtual Machine code 140 4.10 Verification of class Files 148 4.11 Limitations of the Java Virtual Machine 334 Chapter 5: Loading, Linking, and Initializing 337 5.1 The Run-Time Constant Pool 337 5.2 Java Virtual Machine Startup 340 5.3 Creation and Loading 340 5.4 Linking 347 5.5 Initialization 359 5.6 Binding Native Method Implementations 362 5.7 Java Virtual Machine Exit 362 Chapter 6: The Java Virtual Machine Instruction Set 363 6.1 Assumptions: The Meaning of "Must" 363 6.2 Reserved Opcodes 364 6.3 Virtual Machine Errors 364 6.4 Format of Instruction Descriptions 365 6.5 Instructions 368 Chapter 7: Opcode Mnemonics by Opcode 565 Index 569 Appendix A: Limited License Grant 587
Series Title: Java series.
Responsibility: Tim Lindholm [and others].

Reviews

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

Tags

Be the first.
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/846954558> # The Java virtual machine specification
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "846954558" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/20663868#Place/upper_saddle_river_n_j> ; # Upper Saddle River, N.J.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   schema:about <http://id.worldcat.org/fast/977184> ; # Internet
   schema:about <http://id.worldcat.org/fast/982065> ; # Java (Computer program language)
   schema:about <http://dewey.info/class/005.2752/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/20663868#CreativeWork/java_virtual_machine> ; # Java virtual machine.
   schema:about <http://id.worldcat.org/fast/1167683> ; # Virtual computer systems
   schema:about <http://id.worldcat.org/fast/1387764> ; # Java virtual machine.
   schema:bookEdition "Java SE 7 ed." ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/42568112> ; # Tim Lindholm
   schema:copyrightYear "2013" ;
   schema:datePublished "2013" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/20663868> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20663868#Series/java_series> ; # Java series.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20663868#Series/java> ; # Java
   schema:isSimilarTo <http://www.worldcat.org/oclc/815363509> ;
   schema:name "The Java virtual machine specification"@en ;
   schema:productID "846954558" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/846954558#PublicationEvent/upper_saddle_river_n_j_addison_wesley_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/20663868#Agent/addison_wesley> ; # Addison-Wesley
   schema:url <http://proquest.safaribooksonline.com/9780133260496> ;
   schema:url <http://proquest.tech.safaribooksonline.de/9780133260496> ;
   schema:workExample <http://worldcat.org/isbn/9780133260496> ;
   schema:workExample <http://worldcat.org/isbn/9780133260465> ;
   schema:workExample <http://worldcat.org/isbn/9780133260441> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/846954558> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/20663868#Agent/addison_wesley> # Addison-Wesley
    a bgn:Agent ;
   schema:name "Addison-Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/20663868#Place/upper_saddle_river_n_j> # Upper Saddle River, N.J.
    a schema:Place ;
   schema:name "Upper Saddle River, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/20663868#Series/java_series> # Java series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/846954558> ; # The Java virtual machine specification
   schema:name "Java series." ;
    .

<http://id.worldcat.org/fast/1167683> # Virtual computer systems
    a schema:Intangible ;
   schema:name "Virtual computer systems"@en ;
    .

<http://id.worldcat.org/fast/1387764> # Java virtual machine.
    a schema:CreativeWork ;
   schema:name "Java virtual machine." ;
    .

<http://id.worldcat.org/fast/977184> # Internet
    a schema:Intangible ;
   schema:name "Internet"@en ;
    .

<http://id.worldcat.org/fast/982065> # Java (Computer program language)
    a schema:Intangible ;
   schema:name "Java (Computer program language)"@en ;
    .

<http://viaf.org/viaf/42568112> # Tim Lindholm
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Lindholm" ;
   schema:givenName "Tim" ;
   schema:name "Tim Lindholm" ;
    .

<http://worldcat.org/isbn/9780133260441>
    a schema:ProductModel ;
   schema:isbn "0133260445" ;
   schema:isbn "9780133260441" ;
    .

<http://worldcat.org/isbn/9780133260465>
    a schema:ProductModel ;
   schema:isbn "0133260461" ;
   schema:isbn "9780133260465" ;
    .

<http://worldcat.org/isbn/9780133260496>
    a schema:ProductModel ;
   schema:isbn "0133260496" ;
   schema:isbn "9780133260496" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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