A method, computer program, signal transmission, apparatus and system
verify instructions in a module of a computer program to be dynamically
linked with at least one other module. First it is determined whether
checking an instruction in a first module which is loaded requires a
lowest upper bound (LUB) class of at least two referenced classes in one
or more referenced modules different than the first module. If such
information is required, a constraint for the referenced module is written
without loading the referenced module. The constraint is of the form "the
set of at least two classes inherits from a specified class."
