Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

On the basis of an improved semantic affinity based term clustering algorithm, a semantic-based clustering approach for concept generation is proposed. Domain concepts are generated through semantic affinity based term clustering while terms are extracted from term sets of heterogeneous knowledge sources.

改进了基于语义相似度的术语聚类算法，在此基础上提出了基于语义聚类的概念生成方法，其基本思想是由各知识源的术语集合，通过基于语义相似度的术语聚类，生成领域概念。

The compiler of EP consists internally of lexical scanner module, parser module, semantic analyzer, target code generator module, symbol table management module and error handle module.

编译器由词法分析、语法分析、语义分析、目标代码生成、符号表管理、错误处理六部分组成。

And Markup Language parser includes three parts: token, syntax and semantic analyzer.

标记性语言的解析包括：词法分析、语法分析、语义分析三个部分。

The second pass acts as semantic analyzer and intermediate code generator.

第二遍用于语义分析和中间代码生成；

NDJCMT& The Semantic Analyzer in Japanese-Chinese automatic translation system

NDJCMT&日汉自动翻译系统中的语义分析器

Early studies of presupposition took semantic approach, using static devices and context free.

先设的早期研究是从语义的角度入手的，其分析手段是静态的，并且脱离语境。

Structural Operational Semantic Approach to Knowledge Base Maintenance

知识库维护的结构操作语义方法

There are mainly three approaches to study it: lexical approach, semantic approach and syntax approach.

研究方法大致分三类：词汇法、语义法和句法。

Generally speaking, Hawkes used the communicative approach most frequently, while Joly and the Yangs tended to use semantic approach.

但总体来看，霍译更多地使用了交际翻译法，乔译和杨译则倾向于使用语义翻译法。

Information Processing of Visual Shape and Semantic Category in Vision Search

图形搜索中视觉形状和语义范畴信息的加工

Comparative construction is an important semantic category in all human languages.

差比是人类各种语言都要表达的重要语义范畴。

The Study to Time Semantic Category of Modern Chinese Sentences

现代汉语句子时间语义范畴研究

Time semantic category is an important study field in linguistics.

时间语义范畴是语言学的一个重要研究对象，近年来时间认知方面的研究引起了当代语言学界的广泛关注。

Speech and language difficulties fall into two main types: sufferers can develop problems with grammar and pronunciation or have semantic dementia where they lose the information content of language.

言论和语言上的困难分为两大类型：患者可能在语法和发音上出现问题，或具有失去了语言信息含量的词义性痴呆。

The pathological basis of semantic dementia

语义性痴呆的病理基础

Objective To analyze clinical, cognitive and MRI features of patients with semantic dementia ( SD).

目的分析语义性痴呆（semantic dementia，SD）患者的临床、认知缺损与保持模式和影像学特征。

Objective: To analyze neuropsychological characteristics of a Chinese patient with semantic dementia ( SD).

目的：分析一例语义性痴呆（semantic dementia，SD）患者的神经心理特征。