项重写的图实现

摘要：

图重写能够有效地实现项重写.文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性:在无环出现的情况下,图重写对一切项重写正确;在无环出现的条件下,图重写对左线性合流的项重写是完备的.据此,作者又研究了规则、共享和环生成的关系,从而指导操作,避免环的产生,保证正确性和完备性.以上结果能够用于指导项重写的图实现.

关键词：项重写、图重写、项图重写、有向无环图、函数式语言

所属期刊栏目：24

分类号：TP3(计算技术、计算机技术)

资助基金：国家科技攻关项目

在线出版日期：2005-08-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3-6,15