刘卓军 张问银 曾振柄 闫炜 高新岩 孙星明 乔瑞

计算切片 语义余式法 谓词检测 锁余式法 部件识别 一阶多项式 偏序迹 特征提取

北京大学数学系 临沂师范学院计算机系 电子科技大学计算机学院 中国科学院系统科学研究所 湖南大学计算机与通信学院 株洲工学院计算机科学与技术系 中国科学院成都计算机应用研究所