A family of rules for recursion removal

DOI10.1016/0020-0190(76)90015-6zbMath0345.68011OpenAlexW1967952826MaRDI QIDQ1233310

Peter Pepper, Helmut Partsch

Publication date: 1976

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(76)90015-6

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

Derivation of efficient programs for computing sequences of actions, Tours de Hanoï et automates, The multiway trees of hanoi^†, Efficient memo-table management strategies, On a class of recursive procedures and equivalent iterative ones, A probabilistic analysis of an error-correcting algorithm for the Towers of Hanoi puzzle

Cites Work

• Translating recursion equations into flow charts
• The Equivalence of Certain Computations
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item