K. Osipov

Step Recursion: Resource Profiles and Descent Quotients

We develop a resource representation for step recursion in which mutable-state width and recursion descent are explicit and independent parameters. A width bound $u$ controls the size of the encoded machine state, while an effective descent $\rho$ determines the available recursion depth $\delta_\rho(u)$. For generaliz...