The Java Virtual Machine Specification, Java SE 7 Edition

Overview

Written by the inventors of the technology, The Java® Virtual Machine Specification, Java SE 7 Edition, is the definitive technical reference for the Java Virtual Machine.

The book provides complete, accurate, and detailed coverage of the Java Virtual Machine. It fully describes the invokedynamic instruction and method handle mechanism added in Java SE 7, and gives the formal Prolog specification of the type-checking verifier introduced in Java SE 6. The book also includes the ...

See more details below
Paperback
$46.44
BN.com price
(Save 22%)$59.99 List Price

Pick Up In Store

Reserve and pick up in 60 minutes at your local store

Other sellers (Paperback)
  • All (16) from $2.00   
  • New (10) from $39.12   
  • Used (6) from $2.00   
The Java Virtual Machine Specification, Java SE 7 Edition

Available on NOOK devices and apps  
  • NOOK Devices
  • Samsung Galaxy Tab 4 NOOK
  • NOOK HD/HD+ Tablet
  • NOOK
  • NOOK Color
  • NOOK Tablet
  • Tablet/Phone
  • NOOK for Windows 8 Tablet
  • NOOK for iOS
  • NOOK for Android
  • NOOK Kids for iPad
  • PC/Mac
  • NOOK for Windows 8
  • NOOK for PC
  • NOOK for Mac

Want a NOOK? Explore Now

NOOK Book (eBook)
$27.49
BN.com price
(Save 42%)$47.99 List Price

Overview

Written by the inventors of the technology, The Java® Virtual Machine Specification, Java SE 7 Edition, is the definitive technical reference for the Java Virtual Machine.

The book provides complete, accurate, and detailed coverage of the Java Virtual Machine. It fully describes the invokedynamic instruction and method handle mechanism added in Java SE 7, and gives the formal Prolog specification of the type-checking verifier introduced in Java SE 6. The book also includes the class file extensions for generics and annotations defined in Java SE 5.0, and aligns the instruction set and initialization rules with the Java Memory Model.

Read More Show Less

Product Details

  • ISBN-13: 9780133260441
  • Publisher: Addison-Wesley
  • Publication date: 3/1/2013
  • Series: Java Series
  • Edition number: 3
  • Pages: 590
  • Sales rank: 1,431,737
  • Product dimensions: 6.90 (w) x 9.00 (h) x 1.30 (d)

Meet the Author

Tim Lindholm is a former Distinguished Engineer at Sun Microsystems. He was a contributor to the Java programming language and the senior architect of the Java Virtual Machine, later working on Java for mobile devices. Prior to Sun, he worked on virtual machines and runtime systems for Prolog at Argonne National Laboratory and Quintus. He holds a B.A. in Mathematics from Carleton College.

Frank Yellin is a former Staff Engineer at Sun Microsystems. He was an original member of the Java project and spent a decade working on runtime systems for interpreted and compiled languages. Prior to Sun, he worked on the compilation of Common Lisp at Lucid. He holds an A.B. in Applied Mathematics from Harvard and an M.S. in Computer Science from Stanford.

Gilad Bracha is the creator of the Newspeak programming language and a former Distinguished Engineer at Sun Microsystems. Prior to Sun, he worked on Strongtalk, the Animorphic Smalltalk System. He holds a Ph.D. in Computer Science from the University of Utah.

Alex Buckley is the Specification Lead for the Java programming language and the Java Virtual Machine at Oracle. He holds a Ph.D. in Computing from Imperial College London.

Read More Show Less

Table of 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

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)