© 1979 by British Computer Society
Recursion elimination with variable parameters
Department of Computer Science, University of Reading, Whiteknights Park, Reading, UK
Standard methods of recursion elimination are not immediately applicable to recursive procedures which posses variable (reference, name) parameters. Two methods of overcoming this problem are described. One method involves a transformation which replaces such parameters with constant ones, while the second involves the creation of a new level of reference variables, a device only possible in a language such as ALGOL 68. As examples of the techniques, iterative versions of a procedure to build a balanced tree are derived in both ALGOL 68 and PASCAL.
Received January 1978.
* Department of Computer Science, University of Reading, Whiteknights Park, Reading RG6 2AX