程序断言的英文

• program assertion

• "程序"英文翻译    procedure
• "断言"英文翻译    say with certainty; assert c ...
• "请参阅程序断言" 英文翻译 :    program assertion
• "程序断点" 英文翻译 :    program break point; program breakpoint
• "断言检查程序" 英文翻译 :    a ertion checker; assertion checker
• "断言" 英文翻译 :    say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; assertion; asseveration 大胆断言 boldly assert; 无根据地断言 groundlessly assert; 断言集论 predicative set theory; 断言数据库 assertion data base; 断言语句 assertion statement
• "断言检查 用户在程序中嵌入的断言的检查。" 英文翻译 :    assertion checking
• "断言，主张" 英文翻译 :    assert
• "断言；声明" 英文翻译 :    predicate v. state firmly
• "断言表" 英文翻译 :    assertion list
• "断言的" 英文翻译 :    assertive; predicated
• "断言类" 英文翻译 :    assertives
• "断言者" 英文翻译 :    affirmant
• "可断言" 英文翻译 :    assertable; enunciability
• "命题；断言" 英文翻译 :    assertion
• "声称,断言" 英文翻译 :    claim
• "声明；断言" 英文翻译 :    declare
• "宣称；断言" 英文翻译 :    asserted; edclare
• "宣言，断言" 英文翻译 :    allege
• "再断言" 英文翻译 :    rea ert; reaffirmation; reassert
• "变迁断言" 英文翻译 :    transition assertion
• "不变断言" 英文翻译 :    invariant assertion
• "不能断言的" 英文翻译 :    unasserted
• "测试断言" 英文翻译 :    test assertion
• "大胆断言" 英文翻译 :    boldly assert

• A temporal logic is normally built atop a simpler set of atomic small - unit propositions , such as traditional program assertions
  ）通常，时态逻辑构建于一组更简单的原子（小单元）命题之上，如传统程序断言。
• When responding to the transaction manager of the prepared outcome , the resource manager asserts the read - only information in the prepared vote
  当对预备结果的事务管理程序作出响应时，资源管理程序断言已准备好的提交内容中的只读信息。