English translation for "程序断言"

program assertion

Related Translations:

断言:  say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; assertion; asseveration 短语和例子大胆断言 boldly assert; 无根据地断言 groundlessly assert; 断言集论 predicative s

动态断言:  dynamic assertion

框架断言:  frame assertion

断言清晰度:  assertional clarity

有人断言:  it is clear/obvious/evident that

断言宣称:  allege: declare

人们断言:  it is alleged that

引入断言:  introduce assertion

断言语句:  a ert statementa ertion operatorassert statementassertion operatorassertion statement

断言元素:  assertion element

Example Sentences:

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

Similar Words：

"程序段终端" English translation, "程序段注销" English translation, "程序段字首" English translation, "程序段字体" English translation, "程序断点" English translation, "程序堆栈" English translation, "程序对象" English translation, "程序对照表" English translation, "程序多次展开" English translation, "程序多数据" English translation