中英▼
go top

loop invariant

  • 循环不变式：在计算机科学中，循环不变式是一种用于描述循环过程中某些性质保持不变的逻辑表达式，通常用于证明算法的正确性。

网络释义专业释义英英释义

  [计] 循环不变量

为了证明该算法的正确性，我们可以使用以下三个循环不变量（loop invariant）：

基于2088个网页-相关网页

  [计] 循环不变式

Ps22Pdf 关键词 : 形式化方法 ; 非递归 ; PAR; 循环不变式 ; 可靠性 [gap=1010]Key words: formal method; non-recursive; PAR; loop invariant; reliability

基于300个网页-相关网页

  循环常量

如非Null类型编制，前置和后置条件，循环常量（loop invariant）和对象常量等。这个扩展将。

基于44个网页-相关网页

短语

Loop-invariant code motion 循环不变量代码移动 ; 外面

loop invariant computation 回路不变量计算

loop invariant value 循环不变量

weak loop invariant 弱循环不变式

Loop invariant motion 循环不变量移动

weak parallel loop invariant 弱并行循环不变式

loop checking invariant 循环不变量

saddle-node invariant loop 鞍

 更多收起网络短语
  • 循环不变性
    循环不变式
    循环常量
    循环不变量
    迴路不变量
  • 循环不变式

·2,447,543篇论文数据，部分数据来源于NoteExpress

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

双语例句

  • What's the loop invariant for this code?

    此代码的循环不变式是什么？

    youdao

  • How to find the loop invariant and prove correctness?

    如何寻找循环不变式和证明的正确性？

    youdao

  • Loop invariant code motion (LICM) is a traditional optimization.

    循环不变量外提是一种传统的优化算法。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定