一个面向对象的应用生成器OO—HLL

ＯＯ－ＨＬＬ是一个ＯＲＡＣＬＥ Ｐｒｏ＊Ｃ应用生成器,它以面向对象和第四代语言面向问题的非过程方式定义用户需求,生成可嵌入ＳＱＬ语句到Ｃ程序中的Ｐｒｏ＊Ｃ程序,然后通过Ｐｒｏ＊Ｃ预编译程序和Ｍｉｃｒｏｓｏｆｔ Ｃ编译器将其翻译为可执行的目标代码。本文介绍了ＯＯ－ＨＬＬ的基本思想,给出了ＯＯ－ＨＬＬ语言主要语法成分的形式定义,讨论了它的代码生成技术。     

面向对象的ORACLE PRO＊C应用软件开发工具

ＯＯ－ＨＬＬ是我们设计的一个ＯＲＡＣＬＥＰＲＯ＊Ｃ应用软件开发工具，它以面向对象和第四代语言面向问题的非过程化方式定义用户需求，生成可嵌入ＳＱＬ语句到Ｃ程序中的ＰＲＯ＊Ｃ程序。本文介绍了ＯＯ－ＨＬＬ的基本思想、结构、工作流程、类和对象的定义方式，讨论了它的实现技术。     

面向对象的ORACLE PRO＊C程序生成器

ＯＯ－ＨＬＬ是我们设计的一个ＯＲＡＣＬＥ应用软件开发工具，它以面向对象和第四代语言面向问题的非过程化方式定义用户需求，生成可嵌入ＳＱＬ语句到Ｃ程序中的ＰＲＯ＊Ｃ程序。本文介绍了ＯＯ－ＨＬＬ的基本思想，结构，工作流程，类和对象的定义方式。     

面向对象数据库查询语言中OOSQLⅡ类与C＋＋类的无缝连接

文中提出一种面向数据查询语言中方法调用的处理方法－－ＯＯＳＱＬⅡ类与Ｃ＋＋类的无缝连接，并与传统的方法－－自由函数化作了比较，强调无缝连接处理方法对保持ＯＯＳＱＬⅡ类的持久性和原有语义的支持。     

S广义ω－凸语言

本文通过在Σω上定义半序关系“≤ωｓ，引进了Ｓ广义ω－左凸语言、Ｓ广义ω－右凸语言和Ｓ厂义ω－凸语言的概念，并给出了各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ厂义ω－凸语言族对布尔运算的封闭性以及各类Ｓ广义ω－凸语言的充分必要条件。     

S广义ω—凸语言

本文通过在∑＾ω上定义半序关系“≤ω＾ｓ”，引进Ｓ广义ω－左凸语言，Ｓ广义ω－右凸语言和Ｓ广义ω－凸语言的概念，并给出各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ广义ω－凸语言族对布尔运算的封闭性以及各类Ｓ广义ω－凸语言的充分必要要条件。     

ω—正则语言类的一个子类

ω－语言是由有穷字线靖Σ上的一些无穷串组成的集合，被ω－有穷自动机接受的ω－语言称为ω－正则语言，作者曾从集合的角度描述了一类ω－正则语言，而不是传统地从生成或识别的角度来描述这一类正则语言，本文从集合的角度来描棕更为广泛的一类ω－正则语言。     

Petri网语言与传统形式语言的关系

本文介绍了一种形式语言－Ｐｅｔｒｉ网语言，并讨论了Ｐｅｔｒｉ网语言与传统形式语言（正规语言，上下文无关语言，上下文有关语言以及递归枚举语言）的关系。     

并发面向对象语言COOLⅡ的语义模型

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义。     

几类ω—凸语言族的分层

本对作几年来先后在ω－语言族中定义的五类ω－凸语言进行了相应的分层。     

C++语言编程细节问题分析

C 语言是一门很重要的程序设计语言,学好这门语言是很多程序员的必经之路。许多学校的计算机及相关专业已经开设了这门课,但学习C 语言,或用它来编程时经常会有一些不易注意的地方。下面我们一起来分析研究一下。1 C 语言中的“ ”、“－－”运算符的使用一般递增和递减     

几类ω－凸语言族的分层

本文对作者几年来先后在ω－语言族中定义的五类ω－凸语言进行了相应的分层，其结果是：     

ω幂上下文无关语言及其封闭性质

本定义了ω幂上下无关语言ω－ｐ－ｃｆｌ和一类ω下推自动机ω－ｐｄａ，给出了它们的关系，借助于ω时序转换器ω－ＳＴ，讨论了ω－ｐ－ｃｆｌ类的某些封闭性质，证明了对于ω－ｐ－ｃｆｌ类ζ，ξ（δ）＝｛Ｓ（Ａ）｜Ａ∈ζ，Ｓ是一个ω－ＳＴ｝＝｛ｈ２（ｈ＾－１１（Ａ）∩Ｒ）｜Ａ∈ξ，Ｒ是一个ω正规语言，ｈ１是一个同态，以及ｈ２是一个λ无关同态｝。     

并行语言MODULA-S的设计

本文叙述基于顺序语言MODULA-2的并行扩展语言MODULA-S,对它的设计目标及其扩展的并行结构成份进行了讨论。该语言已在面向数据结构的小巨型机STARLET-Ⅱ上实现。     

面向agent的程序设计语言：DL—1

为适应协作分布式问题求解研究和应用的需要，我们研制了面各ａｇｅｎｔ的程序设计ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ６主要用于显式地描述ＣＤＰＳ系统行政管理结构。     

青鸟II型系统面向对象语言CASE C＋＋的设计和实现

ＣＡＳＥ Ｃ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言。在青鸟Ⅱ型系统中，它是对象管理系统ＯＭＳ的操纵语言和所有集成工具的编程语言，同时也是支持最终用户的通用的编程语言。本文首先简要介绍了ＣＡＳＥ Ｃ＋＋的设计背景。然后，较详细地讨论了ＣＡＳＥ Ｃ＋＋中新引入的语言成份：永久对象；类定义的共享机制；永久对象间的关系描述－链和对     

一种先进的面向对象的开发语言--C#

C^#是一种先进的，面向对象的开发语言，并且能够方便快捷地在MS网络平台上建立各种应用和建立能够在网络间相互调用的Web服务，本文通过和现场的开发语言对比分析，介绍了这种新型的开放语言－－C^#     

Tuili—Ⅱ里的属性谓词及其实现

Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法。属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合。本文主要介绍属性谓词的提出和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释。讨论了属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子。     

C语言系统描述的HCDFG-Ⅱ实现

C语言是系统设计中一种主要的系统描述语言，在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型，以及从C语言生成该模型的方法。HCDFG-Ⅱ的层次化模型分为函数／进程级、语句级和操作级，根据需要可以生成不同级别的模型。本文讨论了C语言中各种控制结构及数组、指针、联合和结构等复杂数据类型生成HCDFG-Ⅱ的方法。     

DPC—C＋＋语言的并发性实现

ＤＰＣ－Ｃ＋＋语言是一个支持分布式应用程序设计的面向对象的并发程序设计语言，本文侧重介绍了ＤＰＣ－Ｃ＋＋语言的并发性实现及其程序模型，并简要给出其运行支持系统的设计。