摘要 |
A method, computer program, signal transmission, apparatus and system for fully lazy verification of instructions in a module of a computer progra m to perform verification during linking while providing for fully lazy loading a s to minimize waste of run time resources for loading classes that are not strict ly required at run time. The method, computer program, signal transmission, apparatus and system include first determining whether an instruction in a first module which is loaded requires information in a referenced module different than the first module. If such information is required, it is then determine d whether the referenced module is already loaded. If the referenced module is not already loaded, a constraint is written for the referenced module withou t loading the referenced module. The constraint is then checked when the referenced class is loaded, if ever.
|