邢汉承 王稚慧 白云 李春林 屈延文 沈绪榜 蒋智平 吴智铭

算法 语法制导编辑 优化 多处理器系统 并行执行 Chomsky谱系 数字式 文法 识别器 程序验证 协处理器 高性能 条件表达式 自底向上 编码技术 激光印字机 模板 识别码 离散事件系统 相关变量 与并行 短语 形码 控制 单片计算机 不变式 结构元 芯片结构 文字 微处理器