王海洋 陈安 李保栋 刘智峰 李庆忠 李景州 王新军 徐莹

超类型 动态Hash 调用级别接口 循环等待 规则处理 拓扑排序 平衡输出 可终止性

山东济南 山东大学计算机系 山东大学计算机科学系 中国科学院数学研究所 北京大学计算机科学技术系 北京航空航天大学管理学院