The Java Virtual Machine Specification gives the formal Prolog specification of the type-checking verifier introduced in Java SE 6.0, and aligns the ...
確定! 回上一頁