After the traditional theory of truth, the meaning theory of contemporary scientific realism and semantic analysis of realism encountered all kinds of dilemmas, empirical adequacy occurs.

His realism can be called semantic realism reflected in truth conditional realism and partly meaning realism.

戴维森的这种实在论可以称语义学实在论。他的语义学实在论体现于真值条件实在论和部分意义实在论。

Generating code in semantic routine

语义例程生成目标代码

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

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

Approach to define the dynamic semantics of SDL-2000

SDL-2000动态语义定义方法

This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

这为模型提供了明确的动态语义，为其运作和分析提供了形式化基础。

A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ

一种反应式SPM及其动态语义XYZ表示

An Investigation into the Nature of Dynamic Semantics from the Perspectives of Verbs of Vision

从几个视觉动词看动态语义学的实质

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

工作流过程图形建模及基于自动机的动态语义

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

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

In this paper, general semantics are formalized into 3 primary principals and 10 accidental principals and extensional tools, which are then analyzed comprehensively. Critical thinking and meaningful practice are done on the basis of the formalized thoughts and with reference to life experience.

本文将通用语义理论概括为3个大原则和10个相关的从属原则和外延性工具进行了深入分析，并且把这些思想和社会生活实践相结合，给出了严谨地思考和有益地尝试。

Examining the proposals and methods of general semantics not only further its academic research but also have practical significances in understanding the world we live in.

探讨普遍语义学的主张及其方法，不仅可以深化对语义学的学术研究，而且对理解我们的生活世界也具有重要的实践意义。

This paper, mainly using metaphor theory in the cognitive linguistic, analyzes and sorts the general semantics of xia.

文章主要运用了认知语义学中的隐喻理论，对下的整体语义进行了分析与归类。

International Society for General Semantics

国际普通语意学学会

General Semantics: A Linguistic Study Mainly for Diagnosis and Treat

以诊疗为己任的语义学说：普通语义学

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

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

On General Semantics and the Theoretical Foundations

论普通语义学及其理论基础

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.

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