搜索结果: 1-3 共查到“计算机科学技术 invariants”相关记录3条 . 查询时间(0.109 秒)
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
Heading judgments in minimal environments:The value of a heuristic when invariants are rare
Heading judgments minimal environments heuristic invariants
2015/8/13
Observers made systematic heading judgments in two experiments simulating their translation through an environment with only two trees. When those trees converged or decelerated apart, ob-servers tend...