Titlebook: Java and the Java Virtual Machine; Definition, Verifica Robert F. Stärk,Joachim Schmid,Egon Börger Textbook 2001 Springer-Verlag Berlin Hei

notification

招惹

The exception-handling extension JVM, of In this chapter we extend the machine . to a JVM submachine JVM. which can execute compiled Java. programs This includes extending the submachine . to . which copes with frame stack manipulations due to exception handling. We also extend the .-to— . compilation scheme by translating the new Java. statements to JVM. code.

Macronutrients

即席

The procedural extension Java, of Java methods and static initializers. Classes play the role of modules: class variables correspond to global variables, class methods to procedures (also called subroutines or functions) and class initializers to module initializers. In Sect. 4.1 we describe the static and in Sect. 4.2 the dynamic part of the semantics of Java..

不可磨灭

immunity

Explicate

SNEER

sterilization

http://image.papertrans.cn/j/image/500712.jpg

fatty-streak