郑爽 韩鸿莺 刘磊 金英 高玉兰 郭德贵 张丽翠 王胜军 张晶 吕江花

多线程程序 元层 程序依赖图 Earley分析 程序切片 形式化 分析器 语法分析程序 分子形式 属性求值器 计算机软件 面向对象式语言 切片算法 Monad YACC 数据流分析 Action演算 操作符状态机 自动生成技术 L属性文法 解图 等价性 语义动作 程序自动生成 并发 并行面向对象语言 寄存器状态 正则文法 函数式语言 反射

吉林大学计算机科学系 通化市建设银行中心支行科技部 吉林大学计算机科学与技术学院 吉林大学通信工程学院 润迅通信集团有限公司