李春林 邢汉承 刘良观 林丕源 刘明业 廖湘科 张晓昆 金泰松 魏本杰 刘初长 陈世鸿 赵晓群 李成夫 刁一平

变量 prolog 产生器 相关变量 AND并行 索引文件 逻辑程序 相关图 VLSI架构 目标子句 文字 DSP 处理技术 三维多分等级树 软件流水线 分布并行 Java 循环展开 程序员 条件表达式 子目标 无冲突 解释程序 线程 语句号 Prolog程序 与并行 并行程序设计 RTL综合 有限状态机