Next: Fields
Up: Idea
Previous: Example
The correctness of our solution for virtual
methods is based on the following observations:
the global allocation table provides a correct view of all the vtables
of the loaded classes;
the vtable of a subclass is consistent with the vtable of its superclass;
all offset tables are consistent with the global allocation table;
and a virtual method invocation cannot be executed before the class
of the receiver object is loaded.
We refer interested readers to our internal report [31]
for a formal development and its soundness proof.
Dachuan Yu
2002-05-23