发明名称 |
DATAFLOW ALGORITHM FOR SYMBOLIC COMPUTATION OF LOWEST UPPER BOUND TYPE |
摘要 |
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."
|
申请公布号 |
CA2309768(A1) |
申请公布日期 |
2000.11.27 |
申请号 |
CA20002309768 |
申请日期 |
2000.05.26 |
申请人 |
SUN MICROSYSTEMS, INC. |
发明人 |
LINDHOLM, TIMOTHY G.;LIANG, SHENG;BRACHA, GILAD |
分类号 |
G06F9/54;G06F9/445;(IPC1-7):G06F9/44 |
主分类号 |
G06F9/54 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|