The Community for Technology Leaders
14th Annual Symposium on Switching and Automata Theory (swat 1973) (1973)
Oct. 15, 1973 to Oct. 17, 1973
ISSN: 0272-4847
pp: 16-25
ABSTRACT
A linear recursive program consists of a set of procedures where each procedure can make at most one recursive call. The conventional stack implementation of recursion requires time and space both proportional to n, the depth of recursion. It is shown that in order to implement linear recursion so as to execute in time n one does not need space proportional to n : ne for arbitrarily small e will do. It is also known that with constant space one can implement linear recursion in time n. We show that one can do much better : ne for arbitrarily small c. We also describe an algorithm that lies between these two: it takes time n.log(n) and space log(n). In this context one can demonstrate a speed-up theorem for linear recursion - given any constant-space program implementing linear recursion, one can effectively find another constant space program that runs faster almost everywhere.
INDEX TERMS
CITATION

A. K. Chandra, "Efficient compilation of linear recursive programs," 14th Annual Symposium on Switching and Automata Theory (swat 1973)(FOCS), vol. 00, no. , pp. 16-25, 1973.
doi:10.1109/SWAT.1973.7
87 ms
(Ver 3.3 (11022016))