张兆庆 冯晓兵 崔慧敏 李晶 蒋弘山 高琳 史忠植 石学林 马湘宁 唐锋 乔如良 谢海斌 焦文品 田启家 陈龙

标志位优化 JAVA 控制流 动态优化 语义图 图匹配 遗产代码 类型转换 数据封装 归一 线性分析 代码维护 间接跳转 延迟计算 二进制翻译 Cobol2Java 扩展虚拟栈 PERFORM X86浮点栈 浮点翻译 动态反馈 本体论 GOTO 反汇编 主体 控制流变换 源源变换 数据类型迁移 COBOL 信息检索

中国科学院计算技术研究所 中国科学院研究生院 中国科学院计算技术研究所智能信息处理开放... 中科院计算所 中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所先进编译实验室 清华大学计算机科学与技术系