Computing (FOLDOC) dictionary
Jump to user comments
A transformation applied to functional programs to replace
recursion with iteration. A tail-recursive function can be
compiled to an iterative loop where the recursive call becomes
a jump back to the start and the parameters are held in
registers which are updated with new values each time around
the loop. See Iteration, Tail recursion optimisation.