搜索结果: 1-1 共查到“程序设计及其语言 Error”相关记录1条 . 查询时间(0.031 秒)
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 ...