搜索结果: 1-1 共查到“计算机科学技术 inconsistency”相关记录1条 . 查询时间(0.054 秒)
Static Error Detection Using Semantic Inconsistency Inference
Static analysis error detection satisfiability inconsistency
2016/5/24
Inconsistency checking is a method for detecting software errors that relies only on examining multiple uses of a value. We propose that inconsistency inference is best understood as a variant of the ...