董建宁 潘征宇 李建新 朱晓军

直接生成 姿式 集合类型 子位 五子棋 标号作用域 棋局 代码反汇编 源级转换 C语言 静态模拟自动分析 结点数 面向目标 非正常出口 扩充算法 函数定义 汇编语言程序 终结符号 搜索策略 倒推 嵌套分程序结构 语法分析树 规范抽象语法树

南京大学计算机科学系 南京紫金信息工业公司电脑分公司 华北计算技术研究所