Sequential formula translation

ABSTRACT

The syntax of an algorithmic language such as ALGOL is conveniently described as a sequence of states indicated by an element called cellar. Transitions are controlled by admissible state-symbol pairs which may be represented by a transition matrix. This description of syntax furnishes at the same time an extremely simple rule for translating into machine programs statements in the algorithmic language. Sequential treatment, however, is not feasible in the case of certain optimizing processes such as recursive address calculation.

REFERENCES

• 1: GOLDSTINE:, H. AND VON NEUMANN, J.: Planning and coding for an electronic computing instrument. Institute for Advanced Study, Princeton, N. J., 1947/48.
• 2: International Business Machines Corp., FORTRAN Manual.
• 3: Wesley S. Melahn, A Description of a Cooperative Venture in the Production of an Automatic Coding System, Journal of the ACM (JACM), v.3 n.4, p.266-271, Oct. 1956 [doi>10.1145/320843.320844]
• 4: RUTISHAUSER L H. Uber automatische Rechenplanferdgung bei programmgesteuerten Reehenanlageu. Z. Angew. Math. Mech. 31 (1951), 255.
• 5: RUTSHAUSER H.: Automatisehe Reehenplanferdgung bei programmgesteuerten Reehenmasehinen. Mitt, Inst. f. Angew. Math. der ETH Zurich, Nr. 3 (1952).
• 6: SAMELSON, K.: Probleme der Programmierungsteehnik. Intern. Kolloquium fiber Probleme der Rechentechnik, Dresden 1955, p. 61-68.
• 7: Peter B. Sheridan, The arithmetic translator-compiler of the IBM FORTRAN automatic coding system, Communications of the ACM, v.2 n.2, p.9-21, Feb. 1959 [doi>10.1145/368280.368289]
• 8: Maurice V. Wilkes , David J. Wheeler , Stanley Gill, The Preparation of Programs for an Electronic Digital Computer (Charles Babbage Institute Reprint), The MIT Press, 1984
• 9: WILKES, M. V. : The use of a floating address system for orders in an automatic digital computer. Proc, Cambridge Philos. Soc. 49 (1953), 84-89.
• 10: ADAMS, CHARLES W., AND LANING, J. H., JR. The M.I.T. System of Automatic Coding: Comprehensive, Summer Session and Algebraic. in: Symposium on Automatic Programming for Digital Computer, U. S. Department of Commerce.
• 11: ACM Committee on Programming language and GAMM Committee on Programming Report on the Algorithmic language ALGOL. edited by A. J. Perlis and K. Samelson Num, Math. 1 (1959), 41-60.
• 12: ZEMANEK, H. Die algorithmisehe Vormebprache ALGOL Elektronische Rechenungagen 1 (1959), 72-79 amd 140-143.
• 13: BAUGER, F. L, The formula controlled logical computer Stanislaus. To appear in Math. Tables. Aids Comp.
• 14: BOHM.