Improving Programs by the Introduction of Recursion

  title={Improving Programs by the Introduction of Recursion},
  author={Richard S. Bird},
  journal={Commun. ACM},
A new technique of program transformation, called “recursion introduction,” is described and applied to two algorithms which solve pattern matching problems. By using recursion introduction, algorithms which manipulate a stack are first translated into recursive algorithms in which no stack operations occur. These algorithms are then subjected to a second transformation, a method of recursion elimination called “tabulation,” to produce programs with a very efficient running time. In particular… CONTINUE READING

Similar Papers

Loading similar papers…