How to Write Effective Rewrite Programs
Feng Su · 2005
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.