任超 顾照鹏 郝忠孝 高岩

规则触发-依赖图 无内部冲突 归并依赖集 终止性分析 简单范式 无α环 判定算法 弱左部冲突

齐齐哈尔 哈尔滨理工大学计算机与控制学院 齐齐哈尔大学信息科学与技术学院 齐齐哈尔大学计算机学院齐齐哈尔 哈尔滨工业大学计算机科学与技术学院 哈尔滨理工大学计算机科学与技术学院 齐齐哈尔大学信息科学与技术学院齐齐哈尔 哈尔滨工业大学计算机科学与技术学院哈尔滨