\input zb-basic
\input zb-ioport
\iteman{io-port 03872644}
\itemau{Arsac, J.; Kodratoff, Y.}
\itemti{Some techniques for recursion removal from recursive functions.}
\itemso{ACM Trans. Program. Lang. Syst. 4, 295-322 (1982).}
\itemab
Summary: Three 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.
\itemrv{~}
\itemcc{}
\itemut{semantics of program languages; tail recursion; recursion removal; computation traces; nonprocedural languages}
\itemli{doi:10.1145/357162.357171}
\end