江明德 许满武 MOHAMEDHamada 袁华强 孙永强 刘凤玉 朱鸿 金凌紫

属性文法 逻辑函数 求解程序方程 并发软件 程序设计系统 综合属性 懒惰紧缩 元素 项重写 合一 紧缩 λ-演算 数据结构 归约机 Petri网 原子集 软件自动化 函数定义 程序综合 操作语义 逻辑式程序设计 模块化 I／O 数值运算 逻辑程序设计 程序代数 函数序列 函数表示