搜索结果: 1-2 共查到“计算机科学技术 Complete”相关记录2条 . 查询时间(0.156 秒)
Sound, Complete and Scalable Path-Sensitive Analysis
Static analysis path- and context-sensitive analysis strongest necessary/weakest sufficient conditions
2016/5/24
We present a new, precise technique for fully path- and contextsensitive program analysis. Our technique exploits two observations:First, using quantified, recursive formulas, path- and contextsensiti...
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities Over Integers
Complete Practical Technique Linear Inequalities Over Integers
2016/5/24
We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generalization of the branch-and-bound t...