assertions

assertions怎么读

英式音标：[ə\'sɜ:ʃnz]

美式音标：[ə\'sɜʃnz]

assertions的意思释义

n.

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

assertions用法及例句

双语例句

Let us restate the assertions above as a theorem.

我们把上述的断言重新表述为一个定理。

Use dead code elimination to implement 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