发明名称 |
Identification of vacuous predicates in computer programs |
摘要 |
A computer system identifies a predicate in a computer language containing constant expressions as vacuous. The system identifies distinct variables contained in the predicate and represents the predicate by a set of bounding rectangles. The bounding rectangles are represented in a space having a number of dimensions equal to the number of variables. There are finite limits on dimensions of a bounding rectangle which represent the relationship between the variables in the predicate and the constant expressions in the predicate. The predicate is identified as vacuously FALSE where the set of bounding rectangles is empty.
|
申请公布号 |
US6728952(B1) |
申请公布日期 |
2004.04.27 |
申请号 |
US19990405884 |
申请日期 |
1999.09.24 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
CAREY MICHAEL JAMES;RIELAU SERGE PHILIPPE;VANCE BENNET |
分类号 |
G06F9/44;G06F9/45;(IPC1-7):G06F9/45 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|