Some Techniques for Recursion Removal from Recursive Functions
Jacques J. Arsac, Yves Kodratoff · ACM Transactions on Programming Languages and Systems · 1982
RemovalThree different techniques that can be used for recursion removal are described: generalization of the function definition, study of the computation traces of the function, and nonprocedural languages.Despite the existence of implemented versions of these techniques, they are easy to use "by hand" and should therefore be part of every programmer's knowledge.