高效率重写型程序的设计

摘要：

本文考虑如何设计高效率(即重写步数较少的)重写型程序.文中以计算Fibonacci数列的程序为例,比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性.介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法.其中,动态项重写计算是项重写系统的元计算模型,其计算同样基于项重写.

关键词：项重写系统、效率、动态项重写计算、重写控制

所属期刊栏目：32

分类号：I20;TP3

资助基金：国家自然科学基金60273015;教育部留学回国人员科研启动基金

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

页数：共3页

页码：150-152