Improving Programs by the Introduction of Recursion

@article{Bird1977ImprovingPB,
  title={Improving Programs by the Introduction of Recursion},
  author={Richard S. Bird},
  journal={Commun. ACM},
  year={1977},
  volume={20},
  pages={856-863}
}
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…