请输入您要查询的英文单词：

　

单词 weakest precondition
释义
weakest precondition
  • 简明释义
  • 最弱前置条件
  • 网络释义
  • 1

    ?最弱前提

    众所周知,最弱前提(Weakest Precondition)在顺序程序设计中起着重要作用。本文将为分布式程序设计提供类似的概念。

  • 2

    ?最弱前置条件

    ... base course evenness 基层平整度 weakest precondition 最弱前置条件 delivery hopper 排粮斗 ...

短语
  • 双语例句
  • 1
    Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
    在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
随便看

　

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/3/1 18:47:46