assertions

听听怎么读

英 [ə'sɜ:ʃnz]

美 [ə'sɜʃnz]

是什么意思

声称( 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

学习怎么用

双语例句

Let us restate the assertions above as a theorem.
我们把上述的断言重新表述为一个定理。
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