张挺 汪胜 杨柏林 李必信 徐震 张德富 王云峰 肖增良 康立山 李友仁 潘志庚 郑启龙 李宣东 顾元祥 李国东 何锫 夏霏 郑国梁 张敏 陈振强 徐宝文

超图 编译 分层切片 依赖集 三维网格渐进传输 程序切片 自动生成系统 语法分析树 编译器 多功能 递归子程序 分组 数字信号处理器 非终结符 核心化体系结构 封闭项目 未决提交 程序验证 程序依赖性 语法分析器 非可靠网络 程序分析 框架图语法 数据依赖 分簇 产生式集合 控制依赖 图重写 并行调度 多级安全数据库系统