| 高效率重写型程序的设计 |
| |
| 引用本文： | 冯速.高效率重写型程序的设计[J].计算机科学,2005,32(2):150-152. |
| |
| 作者姓名： | 冯速 |
| |
| 作者单位： | 北京师范大学信息科学院,北京,100875 |
| |
| 基金项目： | 国家自然科学基金(60273015)，教育部留学回国人员科研启动基金 |
| |
| 摘 要： | 本文考虑如何设计高效率(即重写步数较少的)重写型程序。文中以计算Fibonacci数列的程序为例．比较具有相同功能的重写型程序，展示编写高效率重写型程序的可能性。介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法。其中．动态项重写计算是项重写系统的元计算模型，其计算同样基于项重写。
|
| 关 键 词： | 元计算 程序 设计 动态 系统 模型 高效率 编写 可能性 展示 |
How to Write Effective Rewrite Programs |
| |
| FENG Su.How to Write Effective Rewrite Programs[J].Computer Science,2005,32(2):150-152. |
| |
| Authors: | FENG Su |
| |
| Affiliation: | FENG Su College of Information Science,Beijing Normal University,Beijing 100875 |
| |
| Abstract: | This paper considers how to design effective,that is,computes with less rewritingsteps,rewriting program- s. We use programs computing Fibonacci numbers as examples,compare the effectiveness of these programs, illustrate the possibility of designing effective rewritingprograms,and show how to use dynamic term rewriting calculus,a meta computation model of term rewriting systems whose computation is also based on term rewriting,to design efective programs naturally. |
| |
| Keywords: | Term rewriting systems Effectiveness Dynamic term rewriting calculus Rewrite controlling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
