assertions
英 [ə'sɜ:ʃnz] 美 [ə'sɜʃnz]

n.

声称( assertion的名词复数 )；使用；主张；明确肯定

英英释义

assertion

• n.
  • a declaration that is made emphatically (as if no supporting evidence were necessary)

    同义词：avermentasseveration

  • the act of affirming or asserting or stating something

    同义词：affirmationstatement

双语例句

1. Let us restate the assertions above as a theorem.
   我们把上述的断言重新表述为一个定理。
2. Use dead code elimination to implement assertions.
   使用无效代码清除策略实现断言。

权威例句

Jass - Java with Assertions
Using Open Vera Assertions to verify designs
Model independent assertions for integration of heterogeneous schemas
Model independent assertions for integration of heterogeneous schemas
Beyond assertions: advanced specification and verification with JML and ESC/Java2
A Practical Approach to Programming With Assertions
2010 i2b2/VA challenge on concepts, assertions, and relations in clinical text
Automatic generation of invariants and intermediate assertions ☆
Parameterized Verification with Automatically Computed Inductive Assertions
A study of machine-learning-based approaches to extract clinical entities and their assertions from discharge summaries