language semantics的例句大全

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

The present paper involves the FFP-ATS semantics of value evaluation of ML core language.

本文涉及ML核心语言的值的计算这一部分的FFP-ATS语义学。

互联网摘选

It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.

总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发；

互联网摘选

The general semantics is an important school in American Language philosophy, which aroused some comments, mainly negative, in China.

普通语义学是美国语言哲学领域中的一个重要派别，我国学术界对此也有一些粗浅的评介，但大都持否定的态度。

互联网摘选

As a standard object-oriented modeling language, UKL ( unified modeling language) is lack of formal dynamic semantics.

面向对象标准建模语言UML（Unified MOdeling Language）缺乏精确的动态语义。

互联网摘选

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

互联网摘选

Programming today is less about learning the syntax and semantics of a programming language, such as Java, than about learning the APIs and capabilities of libraries for that language.

今天的编程已不仅仅是学习编程语言的语法和语义，比如Java，我们并不是学习其API及类库的能力。

互联网摘选

Language, Semantics, Linguistic Representation, and Theory of Mind

语言，语义，语言表征，心理理论&从语言获得建构理论谈心理理论和语言能力的关系

互联网摘选

Algebraic Semantics of Modeling Language AML

面向对象建模语言AML的代数语义

互联网摘选

Object description language and its denotational semantics

对象描述语言及其指称描述

互联网摘选

Abstract: Both fuzzy semantics and precise semantics are important parts in the expression of Official Language. There is different nature, but also inextricably linked. Under certain conditions, they are to achieve mutual conversion.

摘要：模糊语义和精确语义是公文语言的重要表现形式，它们之间既存在本质差别，也存在不可分割的联系，同时，双方在一定条件下也可实现相互的转换。

互联网摘选

Key Concepts of Describing Abstract Semantics Facing the Object Language

描述面向对象语言抽象语义的几个关键概念

互联网摘选

Formal specification languages Z and Object-Z have used to describe the semantics of programming language.

形式化规范语言Z和Object-Z已经用于描述程序语言语义。

互联网摘选

Denotational semantics of distributed programming language

分布式程序设计语言的指称语义

互联网摘选

The establishment of these theories broadens the study space of the semantics, develops the current theories of cognitive linguistics, and has great significance for improving the theoretical system of linguistics and guiding the language teaching and research practice.

级次与标准理论的建立拓宽了语义学的研究空间，发展了认知语言学现有的理论，对完善语言学理论体系、指导语言研究实践和教学实践都具有重要意义。

互联网摘选

With the help of the establishment of the SCOM operation rules based on semantics, the transformation between ontology language and Horn statement, as well as the SCOM operation procedures based on Prolog, the operation of SCOM based on logical reasoning came to fruition.

通过制定基于语义的SCOM操作规则，本体语言同霍恩语句的转换，以及基于Prolog的SCOM操作流程，实现基于逻辑推理的SCOM操作。

互联网摘选

Besides the language, there are many related factors that are theory of agent, semantics, verification, conversation policies and so on.

Agent通信语言的实现涉及的因素，除了语言本身外，还包括Agent理论、语义、证明和会话策略等。

互联网摘选

The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

互联网摘选

A Study of Semantics on Chinese Dissyllabic Compounds for Teaching Chinese as a Second Language

汉语双音词的属性测查与汉语第二语言教学

互联网摘选

A Novel Cross Language Information Retrieval Model Based on Interlingua Semantics

一种新的基于中间语义的跨语言信息检索模型

互联网摘选