zbMATH — the first resource for mathematics

A family of rules for recursion removal. (English) Zbl 0345.68011

68N01 General topics in the theory of software
68W99 Algorithms in computer science
68Q25 Analysis of algorithms and problem complexity
Full Text: DOI
[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.