Removing recursion via explicit callstack simulation

It can be done mechanically, it's essentially what a compiler does.

But yeah, it can be a useful technique, specially when there's tail recursion and the explicit stack just vanishes and the recursion turns into a plain old loop which the hardware just loves.