Partial completion of equational theories

被引：0
|
作者：
Yongqiang Sun
Kai Lin
Chaojun Lu
机构：
[1] Shanghai Jiao Tong University,Department of Computer Science and Engineering
来源：
Journal of Computer Science and Technology | 2000年 / 15卷
关键词：
term rewriting system; completion of equational theory; partial completion;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, the notion of partial completion of equational theories is proposed, which is a procedure to construct a confluent term rewriting system from an equational theory without requirement of termination condition. A partial completion algorithm is presented with a brief description of its application in a program development system.
引用
收藏
页码：552 / 559
页数：7
相关论文
共 50 条
12345