Partsch, Helmut; Pepper, Peter A family of rules for recursion removal. (English) Zbl 0345.68011 Inf. Process. Lett. 5, 174-177 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 Documents MSC: 68N01 General topics in the theory of software 68W99 Algorithms in computer science 68Q25 Analysis of algorithms and problem complexity PDF BibTeX XML Cite \textit{H. Partsch} and \textit{P. Pepper}, Inf. Process. Lett. 5, 174--177 (1976; Zbl 0345.68011) Full Text: DOI References: [1] Hoare, C.A.R.; Hoare, C.A.R., An axiomatic basis for computer programming, Comm. ACM, Comm. ACM, 12, 583-580, (1969) · Zbl 0179.23105 [2] Cooper, D.C., The equivalence of certain computations, Comp. J., 9, 45-52, (1966) · Zbl 0173.19005 [3] Darlington, J.; Burstall, R.M., A system which automatically improves programs, Stanford, Proc. third intern. conf. on artif. intell., 479-485, (1973) · Zbl 0395.68017 [4] Paterson, M.S.; Hewitt, E.C., Comparative schematology, (), 119-127 · Zbl 0401.68002 [5] Strong, H.R., Translating recursion equations into flow charts, New York, Proc. 2nd annual ACM symp. theory of computation, J. css, 5, 245-285, (1971) · Zbl 0239.68002 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.