go top

post-condition

  • [计] 后置条件

专业释义英英释义

  • 后置条件 - 引用次数:6

    参考来源 - 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究

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

Postcondition

  • abstract: In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself.

以上来源于: WordNet

双语例句权威例句

  • And of course, the post-condition is an obligation for the supplier.

    当然置条件服务端的义务。

    youdao

  • Transparency: The pre - and post-condition code isn't mixed with business logic.

    透明性前置后置条件代码业务逻辑混合

    youdao

  • And of course particular contract supplier, the post-condition is an obligation for the supplier.

    条件情况很多当然置条件服务端的义务。

    youdao

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

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

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