Mobile
Log In Sign Up
Home > chinese-english > "逻辑断言" in English

English translation for "逻辑断言"

logical assertion

Related Translations:
断言:  say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; assertion; asseveration 短语和例子大胆断言 boldly assert; 无根据地断言 groundlessly assert; 断言集论 predicative s
程序断言:  program assertion
动态断言:  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
Example Sentences:
1.Preventing common bugs with temporal logic assertions
用时态逻辑断言防止常见错误
2.Listing 1 shows some examples of temporal logic assertions
清单1显示了一些时态逻辑断言示例:
3.Then we ll take a look at a tool for processing temporal logic assertions
然后,我们将研究用于处理时态逻辑断言的工具。
4.Temporal logic assertions are also useful for diagnosing such errors in the first place
首先,时态逻辑断言对于诊断此类错误也是有用的。
5.In this article , we ve shown how to use temporal logic assertions to combat the following bug patterns
在本文中,我们展示了如何用时态逻辑断言对付下列错误模式:
6.You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the
查看temporal rover试用版(在运行时检查时态逻辑断言的工具) 。
7.So , in this case , you can get away without using temporal logic assertions , but the task is much more difficult
因此,在本例中,您可以根本不用时态逻辑断言就能完成任务,但会困难得多。
8.In fact , we can augment our efforts to eliminate some of the most common patterns of bugs through the use of such temporal logic assertions
实际上,可以通过使用此类时态逻辑断言来加大我们消除一些最常见错误模式的力度。
9.In this article , eric allen discusses assertions , introduces temporal logic , and describes a tool for processing temporal logic assertions in your programs
在本文中, eric allen将讨论断言,介绍时态逻辑并描述用于处理程序中时态逻辑断言的工具
10.Temporal rover , from time rover inc . , is a tool for processing temporal logic assertions in java programs and generating valid java code from the assertions
Time rover inc .的temporal rover是一种用于处理java程序中时态逻辑断言并根据断言生成有效java代码的工具。
Similar Words:
"逻辑定时图" English translation, "逻辑定向" English translation, "逻辑端口" English translation, "逻辑短路故障" English translation, "逻辑段" English translation, "逻辑队列" English translation, "逻辑对比,逻辑相关" English translation, "逻辑对话" English translation, "逻辑对接" English translation, "逻辑二极管" English translation