A method, computer program, signal transmission, apparatus and system for
fully lazy verification of instructions in a module of a computer program
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 determined
whether the referenced module is already loaded. If the referenced module
is not already loaded, a constraint is written for the referenced module
without loading the referenced module. The constraint is then checked when
the referenced class is loaded, if ever.
Метод, компьутерная программа, передача сигнала, прибор и система для польностью ленивой проверки инструкций в модуле компьутерной программы вклюают сперва обусловливать ли инструкция в первом модуле который нагружен требует информации в снабженном ссылками модуле по-разному чем первый модуль. Если такая информация необходима, то после этого обусловлено нагружен ли снабженный ссылками модуль уже. Если снабженный ссылками модуль уже не нагружен, то ограничение написано для снабженного ссылками модуля без нагружать снабженный ссылками модуль. Ограничение после этого проверено когда снабженный ссылками тип нагружен, если всегда.
