一个安全的主动网络编程语言模型

为解决主动网络安全威胁问题，从编程语言角度分析了语言级的主动网络的安全需求，使用软件机制而不是硬件机制保护主机防止恶意代码攻击，并折中了通信需求和程序语言需求，为主动网络提供了一个安全的编程语言模型。     

PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。     

过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

DJS-6型电子计算机的编译程序[74]

本文简单介绍编译程序[74]的算法语言、编译算法,并总结了使用和维护这个编译系统的初步经验。     

自动生成语法分析程序的加工算法

本文给出对一大类算子语法自动生成语法分析程序的加工算法,只要对本文所给出的加工算法的ALGOL程序稍加补充,即可编出加工算法的机器程序。本文用到了布尔方程组的概念,并顺便给出了解线性布尔方程组的简单机器解法。     

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

并行面向对象语言的Action演算语义

给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

正则文法的一种等价性判别法

本文将给出判定任意两个正则文法是否等价的一种有效方法。该方法可直接用来判定任给的两个正则语言的合语言是否等价。本文给出的方法实际上是Moore方法的推广。     

面向移动agent的逻辑分布网络管理与控制系统

为克服传统网络管理策略中集中客户-服务员模式存在严重负荷的问题,提出了面向移动agent的逻辑分布网络管理与控制系统(MAOLDNMCS:Mobile Agent Oriented Logical Distributed Network Management and Control System).该系统基于移动agent技术,根据网络管理系统中各成分间的逻辑关系传送数据.在讨论移动agent技术的基础上,分析了移动agent在网络管理中的应用,描述了MAOLDNMCS的结构、特点和通信模型,给出了服务实例,进行了实验测试.实验结果表明,MAOLDNMCS系统与SNMP(Simple Network Management Protocol)相比,管理者与代理之间的吞吐量降低了10%左右,系统的响应时间缩短了23%,提高了系统效率.