樊艳芬 吴帅 邵利平 鹿蕾 杨丹 慈云桂 高洪江 杨庆红 戴梅 张晨曦 覃征 梁洪峻 刘志锋 孙国强

广义代换 数据库操作 编译实现 规格说明 反向精化 延迟求值 证明义务 顺序推理机 UML 结构化操作语义 精化 标号树 中间语言 实现技术 函数式程序设计语言 前向精化 Prolog 信息传导 代码生成程序 基本函数 延迟计算 时间隐通道 B方法 编译程序 编译器 模块化程序设计 目标机 形式化方法 内部谓词 隐通道