Type checking in java computing environments

摘要: Techniques for type checking in Java computing environments are disclosed. As will be appreciated, the techniques can used by a virtual machine to efficiently perform checking. In one embodiment, class hierarchy is implemented an internal representation. The represents hierarchical relationship of parent classes class. implemented, example, as array references. references environments. result, performance machines, especially those operating with limited resources, significantly enhanced.