Improving recursive functions by inverting the order of evaluation

DOI10.1016/0167-6423(92)90008-YzbMath0769.68008MaRDI QIDQ1193746

Eerke A. Boiten

Publication date: 27 September 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

stacksrecursive functionstabulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01)

Related Items (2)

Manipulating accumulative functions by swapping call-time and return-time computations ⋮ Splitting Recursion Schemes into Reversible and Classical Interacting Threads

This page was built for publication: Improving recursive functions by inverting the order of evaluation