The Java Virtual Machine Specification, Java SE 7 EditionAddison-Wesley, 15 בפבר׳ 2013 - 608 עמודים 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.
|
מונחים וביטויים נפוצים
aload annotations arrayOf arrayref attribute name index attribute_length attributes table binary name byte bytecode canPop StackFrame catchone class file format class loader class or interface Click Code attribute code image instructionIsTypeSafe compiled constant_pool entry constant_pool table current class exception handler exceptionStackFrame StackFrame field Flags float floating-point Format Forms frame Locals IEEE iff the equivalent incoming operand stack indexbyte2 InputOperandStack instance initialization method instruction is type instructionHas EquivalentTypeRule invoked invokespecial invokevirtual isAssignable Java programming language Java SE Java Virtual Machine loading local variable MemberClassName method handle method invocation MethodName monitorexit NextStackFrame objectref Offset opcode Operation outgoing type OutputOperandStack resolution result is pushed ReturnType run-time constant pool Run-time Exceptions Specification Store superclass symbolic reference Target type int type long type safe iff Type2 Typel valid index validTypeTransition Environment value of type value set conversion value2 view code image Virtual Machine implementation Virtual Machine instructions yielding the outgoing zero