abstract semantics的例句大全

Thirdly, we define abstract semantics of a meta model.

第三，设计了一套元模型的抽象语义。

Key Concepts of Describing Abstract Semantics Facing the Object Language

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

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics how parallel programming works away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。

Psychological verb show psychological abstract verb of activity, semantics research indicate its semanteme there is distinct characteristic.

心理动词是表示心理活动的抽象动词，语义学研究表明其语义具有鲜明的特征。

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

This paper will firstly build an abstract description model for dynamic semantics detection of software components;

为解决这一问题，该文首先构造一个能够用于软部件动态语义检测的抽象描述模型；

Algebraic semantics and inheritance of an abstract class with trace

具迹抽象类型的代数语义与继承

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.

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

Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.

模式匹配采用了抽象语法树同构判断算法；指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的；跨过程分析采用基于总结的上下文敏感分析方法。

10's abstract conceptual model which is called Test Object Model, and the semantics of CELTS.

10的抽象概念模型&试题对象模型。

SPM-CMM provides abstract syntaxes and rule semantics for CMM software process, and also supports of modeling of CMM integration with UML CASE tools.

该元模型既支持CMM软件过程的抽象语法和规则语义，也支持利用UML CASE工具操作CMM软件过程模型。

nowadays, an automatic summarization system can't perform complete analysis of grammar, semantics and pragmatics within the limit of related research, and it only generates indicative abstract.

限于相关领域的已有水平，现阶段的自动文摘系统还不能进行完全的自动语法、语义和语境分析，摘要结果还属于指示性摘要的范畴。

Note: more stringent correspondences between abstract and actual semantics may be defined by each implementation.

注: 抽象与实际语义的更严格对应可能由每个实现自行定义.