Mobile
Log In Sign Up
Home > chinese-english > "时态逻辑" in English

English translation for "时态逻辑"

temporal logic
tense logic


Related Translations:
时态:  [语言学] tense 短语和例子现在时态 the present tense; 过去时态 the past tense; 将来时态 the future tense; 完成时态 the perfect tense
每日时态:  daily time pattern
现在时态:  primary tenses
时态坐标系:  temporal coordinate system
完成时态:  the perfect tense
时态属性:  temporal attribute
时态变化:  shifting of tenses
时态精度:  temporal accuracy
时态细目:  temporal detail
时态数据库:  temporal database
Example Sentences:
1.Preventing common bugs with temporal logic assertions
时态逻辑断言防止常见错误
2.Temporal logic can help make these assertions
时态逻辑可以帮助产生这些断言。
3.Assertions and temporal logic in java programming
Java编程中的断言和时态逻辑
4.Introduce temporal logic to assertions to supplement testing
时态逻辑引入断言来补充测试
5.Temporal logic assertions can help to diagnose such bugs
时态逻辑可以有助于诊断此类错误。
6.Listing 1 shows some examples of temporal logic assertions
清单1显示了一些时态逻辑断言示例:
7.Diagnosing java code : using temporal logic with bug patterns
诊断java代码:将时态逻辑用于错误模式
8.Using temporal logic with bug patterns
时态逻辑用于错误模式
9.These modal operators are usually available in temporal logic
通常,下列模态操作符可用于时态逻辑
10.Keeping time in mind , there are two general kinds of temporal logic
请始终记住,有两种常规的时态逻辑
Similar Words:
"时态的呼应" English translation, "时态多变换" English translation, "时态格网结构" English translation, "时态和语态" English translation, "时态精度" English translation, "时态逻辑语言" English translation, "时态属性" English translation, "时态数据定位" English translation, "时态数据库" English translation, "时态数据库 时间" English translation