The dynamic virtual machine

In this chapter we refine the virtual machines of the previous chapters to a dynamic machine that incorporates dynamic loading and linking of classes. This involves new rules for class loader methods and an extension of switch VM E to switch VM D to cope with referencing loaded classes (together with their superclasses) before they are linked.