网络释义专业释义英英释义
Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability
基于300个网页-相关网页
Loop-invariant code motion 循环不变量代码移动
loop invariant computation 回路不变量计算
loop invariant value 循环不变量
weak loop invariant 弱循环不变式
Loop invariant motion 循环不变量移动
weak parallel loop invariant 弱并行循环不变式
loop checking invariant 循环不变量
Loop invariant
- abstract: In computer science, a loop is a programming language statement which allows code to be repeatedly executed; an invariant of a loop is a property that holds before (and after) each repetition. It is a logical assertion, sometimes programmed as an assertion.
以上来源于: WordNet
双语例句原声例句
-
How to find the loop invariant and prove correctness?
如何寻找循环不变式和证明的正确性？
-
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
-
What's the loop invariant for this code?
此代码的循环不变式是什么？
-
So this is a nice little search-- sorry, a nice little sort algorithm . And in fact, it's relying on something that we're going to come back to, called the loop invariant.
恩，这是一个很棒的小搜索，抱歉，和很棒的小排序算法，事实上，它依赖于一些我们要回顾的东西,被称作循环不变量。
-
The loop invariant what does the loop invariant mean? It says, here is a property that is true of this structure every time through the loop.
循环不变量是什么意思？,它是一个在结构体中,每次循环都为真的属性。
应用推荐