Some Techniques for Recursion Removal from Recursive Programs

Abstract

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.