The procedural extension JVM C of JVM I

In this chapter we extend the machine JVM _I to a JVM submachine JVM _C which can execute compiled Java _c programs. The extension consists in adding rules for handling class variables, and for method invocation and return. We introduce a submachine switchVM _C which takes care of frame stack manipulations—upon method invocation or return and upon implicit class initialization—and which will be extended in switchVM _E for frame manipulations due to capturing exceptions. We also extend the Java _I -to-JVM _I compilation scheme by translating the new Javac expressions and statements to JVM _C code.