摘要:面向对象的数据库管理系统（ＯＯＤＢＭＳ）通常都具备自身的查询语言，它以交互的方式供用户进行数据定义与数据操纵．除此之外，它还必须为程序员提供可在Ｃ、ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ等高级语言里嵌入使用查询语言的宿主语言接口．本文首先介绍这样一种Ｃ宿主语言接口Ｃ—ＯＳＤＬ，而后重点讨论它的实现技术，尤其是将Ｃ—ＯＳＤＬ命令转换成ＳＱＬ语句的翻译算法以及使用ＳＱＬ实现支持导航式查找的指针层次管理方法．文中讨论的Ｃ—ＯＳＤＬ实现技术以及最初的接口设计是面向对象的数据库技术的深入探讨．

摘要:基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故事深层含义的对语法、语义和语用综合进行理解的形式化方法，故事分析文法是一种高维的上下文有关文法，为了提高它的描述能力和表达范围，本文定义了一种特殊的产生式：无序产生式，并将它引入故事分析文法，讨论了由此带来的对故事分析文法的影响和无序产生式在故事分析文法中的性质，最后给出了含无序产生式的故事分析文法的一个子类文法的语法分析算法．

摘要:近年来，基于Ｉｎｔｅｌ８０３８６／８０４８６ＣＰＵ的计算机，特别是微型机，在国内大量引进并逐渐国产化．ＸＥＮＩＸ操作系统作为这些计算机上配备的基本多用户系统已被越来越多的国内用户所接受．但是要充分发挥ＸＥＮＩＸ系统的作用，还需要对此系统作一些改造、扩充或进一步的开发以适应国内普通用户的需要．为了适应国内对ＸＥＮＩＸ移植开发的需要，经过几年的努力，我们成功地以可运行的目标码为基础，在计算机辅助之下提取了其核心部分的源程序．本文讲述基于目标码的核心源程序提取的方法、有关工具的使用及具体的提取过程．

摘要:ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．

摘要:本文给出堆整序的一个新算法，其实用价值比以前的算法效率提高一倍，其理论意义是在复杂性的数量级和主项系数方面已具有最优性能．

摘要:大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置．

摘要:本文讨论可重用构件应该具备的特性，并介绍一种可重用构件描述语言Ｒｅｃｏｓ．Ｒｅｃｏｓ支持面向对象设计，而且提供功能抽象和类属机制．

摘要:本文从开发软件系统的理论与实践出发，探讨了在微型计算机网络系统上开发信息管理与决策支持系统应采用的一般体系结构，并简述了这种结构模式对减少应用软件系统的维护，防止软件危机发生的重要作用．

摘要:本文介绍了以ＤＣ—ＬＩＳＰ语言支持的ＦＦＰ系统，它包括连接在一起的解释系统和编辑系统．文章主要讲述了实现的特点和方法．

摘要:本文给出拓广的左线性递归变换算法并证明其正确性．拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化．和左线性递归计算算法一样，本文提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则．算法的有效性也在本文作简略讨论．