English 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" English translation, "assertion data" English translation, "assertion database" English translation, "assertion element" English translation, "assertion judgment" English translation, "assertion list" English translation, "assertion of rights" English translation, "assertion operator" English translation, "assertion sign" English translation, "assertion statement" English translation