刘磊 宋力彤 赵东范 乔如良 胡伟平 张兆庆 吴冰 高红雨 廖湖声 王众 童兆丰

动作分析 抽象数据类型 面向对象 程序分析 数据库引擎 可扩展编译体系结构 面向对象程序设计语言 绑定时间分析 程序优化 Java语言 增量式程序设计 离线例化 数据流分析（DFA） 增量计算 数据例化 流程图