首页>
外国专利>
DATAFLOW ALGORITHM FOR SYMBOLIC COMPUTATION OF LOWEST UPPER BOUND TYPE
DATAFLOW ALGORITHM FOR SYMBOLIC COMPUTATION OF LOWEST UPPER BOUND TYPE
展开▼
机译：最低上界型符号计算的数据流算法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method, computer program, signal transmission, apparatus and systemverify instructions in a module of a computer program to be dynamically linkedwith at least one other module. First it is determined whether checking aninstruction 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 modulesdifferent than the first module. If such information is required, a constraintfor thereferenced module is written without loading the referenced module. Theconstraint is of the form "the set of at least two classes inherits from aspecifiedclass."
展开▼
