语法分析器的增量式生成技术

提出了一种语法分析器的增量式生成技术，该技术适用于自顶向下的语法分析方法：ＬＬ（１）方法和递归下降法，利用该技术，可以增量式生成语法分析器，从而提高语法分析器的生成效率。在微机上建立了一个语法分析器的增量式生成器。     

Seal演算的等式特性

为完善Seal演算的自身性质及形式化证明移动代码的安全性，从上下文等价性角度研究了Seal演算的等式特性及其应用。首先定义了Seal演算的可观察性和上下文等价性，然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方法，最后依据上下文等价性证明了Seal演算的防火墙等式。结果表明，Seal演算上下文等价性可以正确地描述Seal演算的等式特性，并可判定Seal演算的安全特性。     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．     

文法变换及文法构造技术

在本文中提到的文法一概指3型文法。3型文法有两种形式,我们采用下面形式的文法:A→bB,A→d其中大写字母表示非终极符,小写字母表示终极符。另外,我们还允许有空(ε)规则A→ε,但只允许开始符有ε规则。 在本文中G_1,G_2将分别表示文法G_1(V_N~1,V_T~1,P~1,S_O~1)和G_2(V_N~,2,V_T~2,P~2,S_O~2),并     

Monad 的反射性

由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射操作满足反射的条件. 基于上述讨论, 可以很容易地构造出具有反射性的Monad程序.     

面向对象式语言中支持约束的方法及实现技术

给出一种在对象式语言中有效地支持约束的方法及其实现技术 .应用这种具有约束描述机制的面向对象语言进行开发 ,可以较好地结合对象式和约束式这两种程序设计的优势 ,从而增强语言的描述能力和问题求解能力 ,具有更广泛的应用领域     

Action演算中动作内部数据流分析方法及其实现

针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手段.     

Ambient演算的框架设计

给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、 分布和移动代码提供了语言支持.     

对语法分析程序自动生成器YACC的改进

本文介绍了对YACC的改进方法,解决了由于合并同心项而产生的归约/归约冲突问题。给出了改进后的确定自动机DFA的算法。改进的YACC巳在IBM PC/AST机上运行。     

Seal演算的信息流分析系统

为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重点分析了父子之间的代码移动及类型相容。该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据。