Translating recursion equations into flow charts. (English) Zbl 0239.68002


68N01 General topics in the theory of software
Full Text: DOI


[1] Davis, M., (Computability and Unsolvability (1958), McGraw-Hill: McGraw-Hill New York) · Zbl 0080.00902
[2] Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L., Counter machines and counter languages, Math. Systems Theory, 2, 265-283 (1968) · Zbl 0165.32002
[3] Floyd, R. W., Assigning meaning to programs, (Proc. Symp. Appl. Math. Proc. Symp. Appl. Math, Amer. Math. Soc., 19 (1967)), 19-32 · Zbl 0189.50204
[4] Ianov, Iu., The Logical Schemes of Algorithms, (Problems of Cybernetics I (1960), Pergamon: Pergamon New York), 82-140 · Zbl 0142.24801
[5] Kleene, S. C., (Introduction to Metamathematics (1952), Van Nostrand: Van Nostrand Princeton, N.J.)
[6] Manna, Z., Properties of programs and the first-order predicate calculus, J. ACM 16, 2, 244-255 (1969) · Zbl 0198.22001
[7] McCarthy, J., Towards a Mathematical Science of Computation, (Proc. of IFIP Congress. Proc. of IFIP Congress, Munich (1962)), 21-28
[8] Paterson, M. S., Equivalence Problems in a Model of Computation, (Ph.D. Dissertation (1967), Univ. of Cambridge: Univ. of Cambridge Cambridge, England) · Zbl 0186.01103
[9] Paterson, M. S.; Hewitt, C. E., Comparative Schematology (Part 1), (presented at the Woods Hole Conference on Concurrent Systems and Parallel Computation. presented at the Woods Hole Conference on Concurrent Systems and Parallel Computation, Woods Hole (1970)) · Zbl 0401.68002
[10] Péter, R., (Rekursive Funktionen (1951), Akademischer Verlag: Akademischer Verlag Budapest) · Zbl 0043.24802
[11] Rice, H. G., Recursion and iteration, CACM 8, 2, 114 (1965) · Zbl 0129.10304
[12] Rogers, H., Gödel numberings of partial recursive functions, J. Symbolic Logic, 23, 331-341 (1958) · Zbl 0088.01602
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.