Chinese translation for "assertion language"

判定语言

Related Translations:

assertion:  n.1.主张，断言，确言。2.维护，坚持。短语和例子stand to one's assertion 坚持己见。

extrajudicial assertion:  审判外的主张

global assertion:  全局断言

assertion database:  断言数据库

intermittent assertion:  间歇断言

assertion element:  断言元素

dynamic assertion:  动态断言动态判定

assertion checking:  断言检查 用户在程序中嵌入的断言的检查。

transition assertion:  变迁断言

unilateral assertion:  单方决定

Example Sentences:

	1.	The last level , assertion , is typically implemented through java code or through a dedicated assertion language such as schematron 最后一层，即断言，通常使用java代码或者专门的断言语言如schematron来实现。
	2.	So that particular argument for extending the assertion language or for expressing contracts in english goes away at least in the long term 因此，有关扩展断言语言和英语中的契约表述的争论，在一个较长时期后将会沉寂下来。
	3.	This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code 这只是可以用传统断言语言表示的程序特性类型的简短列表所有程序员都希望在代码中包含的特性：
	4.	We can now consider the three languages for the specification of an interface that is , the unit testing language , the assertion language , and the type system to form a hierarchy of expressiveness 现在我们可以考虑用接口规范的三种语言（它们是，单元测试语言、断言语言和类型系统）来形成表达的层次。
	5.	Let s take a quick look at three categories of common assertion properties common , but which don t offer us the full coverage we d like , compare them with the types of program properties that can be expressed in a traditional assertion language , and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions 让我们快速浏览三种类型常见的断言特性（虽然是常见的，但它们没有提供我们所需的完整范围） ，将它们与可以用传统断言语言表示的程序特性的类型进行比较，并检查多线程上下文所必需的，但不可能表示成常规断言的断言特性。

Similar Words：

"assertion checking" Chinese translation, "assertion data" Chinese translation, "assertion database" Chinese translation, "assertion element" Chinese translation, "assertion judgment" Chinese translation, "assertion list" Chinese translation, "assertion of rights" Chinese translation, "assertion operator" Chinese translation, "assertion sign" Chinese translation, "assertion statement" Chinese translation