×

Semantics of context-free languages. (English) Zbl 0169.01401


Software:

ALGOL 60
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] J. W. de Bakker,Formal definition of programming languages, with an application to the definition of ALGOL 60, Math Cent. Tracts16, Mathematisch Centrum, Amsterdam, 1967. · Zbl 0203.49204
[2] C. Böhm, The CUCH as a formal and description language,Formal Language Description Languages for Computer Programming, pp. 266–294, Proc. IFIP Working Conf., Vienna (1964), North Holland, 1966.
[3] Corrado Böhm andWolf Gross, ”Introduction to thecuch,”Automata Theory (ed. by E. R. Caianiello), pp. 35–65, Academic Press, 1966.
[4] C. C. Elgot, ”Machine species and their computation languages,”Formal Language Description Languages for Computer Programming, pp. 160–179, Proc. IFIP Working Conf., Vienna (1964), North Holland, 1966.
[5] C. C. Elgot andA. Robinson, ”Random-access, stored program machines, an approach to programming languages,”J. ACM 11 (1964), 365–399. · Zbl 0192.07302
[6] Edgar T. Irons, A syntax directed compiler forAlgol 60,Comm. ACM 4 (1961), 51–55. · Zbl 0103.34904
[7] Edgar T. Irons, Towards more versatile mechanical translators, Proc. Sympos. Appl. Math., Vol. 15, pp. 41–50, Amer. Math. Soc., Providence, R. I., 1963. · Zbl 0124.33408
[8] Donald E. Knuth,The Art of Computer Programming, I, Addison-Wesley, 1968. · Zbl 0191.17903
[9] P. J. Landin, ”The mechanical evaluation of expressions,”Comp. J. 6 (1964), 308–320. · Zbl 0122.36106
[10] P. J. Landin, A formal description ofAlgol 60,Formal Language Description Languages for Computer Programming, pp. 266–294, Proc. IFIP Working Conf., Vienna, (1964), North Holland, 1966.
[11] P. J. Landin, A correspondence betweenAlgol 60 and Church’s lambda notation,Comm. ACM 8 (1965), 89–101, 158–165. · Zbl 0134.33403
[12] John McCarthy, A formal definition of a subset ofAlgol,Formal Language Description Languages for Computer Programming, pp. 1–12, Proc. IFIP Working Conf., Vienna (1964), North Holland, 1966.
[13] John McCarthy andJames Painter, Correctness of a compiler for arithmetic expressions, Proc. Sympos. Appl. Math., Vol. 17, to appear, Amer. Math. Soc., Providence, R. I., 1967. · Zbl 0183.19201
[14] Robert M. McClure, TMG–A syntax directed compiler,Proc. ACM Nat. Conf. 20 (1965), 262–274.
[15] PL/I Definition Group of the Vienna Laboratory,Formal definition of PL/I, IBM Technical Report TR 25.071 (1966).
[16] Niklaus Wirth andHelmut Weber, Euler: A generalization ofAlgol, and its formal definition,Comm. ACM 9 (1966), 11–23, 89–99, 878. · Zbl 0141.14302
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.