?尾递归消除

... 死存储消除（Dead store elimination） 尾递归消除（Tail recursion elimination） 向前存储移动（Forward store motion） ...

?尾递归删除

... 尾递归 tail recursion 尾递归删除 tail recursion elimination 尾递归模数建购 tail recursion modulo cons ...