An Algorithmic Semantics for ALGOL 60 Identifier Denotation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An Algorithmic Semantics for ALGOL 60 Identifier Denotation

Full text

Pdf (1.35 MB)

Source

Journal of the ACM (JACM) archive
Volume 17 , Issue 2 (April 1970) table of contents

Pages: 361 - 382

Year of Publication: 1970

ISSN:0004-5411

Authors

J. M. Boyle	Argonne National Laboratory, Applied Mathematics Division, Argonne, Illinois
A. A. Grau	Argonne National Laboratory, Applied Mathematics Division, Argonne, Illinois

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 23, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/321574.321589 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BACKUS, J.W. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. Internat. Congr. on Inf. Proc. Proceedings, Paris, 1959, Butterworth, London, 1960, pp. 125-132.
	2	H. Bekic, The assignment to a type procedure identifier, ALGOL Bulletin [doi>10.1145/1060978.1060986]
	3	Alfonso Caracciolo Di Forino, Some remarks on the syntax of symbolic programming languages, Communications of the ACM, v.6 n.8, p.456-460, Aug. 1963 [doi>10.1145/366707.367584]
	4	On the concept of formal linguistic systems. In Formal Language Description Languages for Computer Programming, Steel, T. B., Jr. (Ed.), North-Holland, Amsterdam, 1966, pp. 37-51.
	5	CHOMSKY, N. Aspects of the Theory of Syntax. MIT Press, Cambridge, Mass., 1965.
	6	DE BAKKER, J .W . Formal Definition of Programming Languages, with an Application to the Definition of Algol 60. Mathematisch Centrum, Amsterdam, 1967.
	7	Jerome A. Feldman, A formal semantics for computer languages and its application in a compiler-compiler, Communications of the ACM, v.9 n.1, p.3-9, Jan. 1966 [doi>10.1145/365153.365156]
	8	GARWlCK, J.V. The definition of programming languages by their compilers. In Formal Language Description Languages for Computer Programming, Steel, T. B., Jr. (Ed.), North-Holland, Amsterdam, 1966, pp. 139-147.
	9	R. E. Utman, Suggestions on ALGOL 60 (ROME) issues, Communications of the ACM, v.6 n.1, p.20-23, Jan. 1963 [doi>10.1145/366193.366209]
	10	Donald E. Knuth, The remaining trouble spots in ALGOL 60, Communications of the ACM, v.10 n.10, p.611-618, Oct. 1967 [doi>10.1145/363717.363743]
	11	P. J. Landin, A correspondence between ALGOL 60 and Church's Lambda-notations: Part II, Communications of the ACM, v.8 n.3, p.158-167, March 1965 [doi>10.1145/363791.363804]
	12	McCARTHY, J. Towards a mathematical science of computatiom Proc. IFIP Congress, Munich, 1962, North-Holland, Amsterdam, 1963, pp. 21-28.
	13	A formal description of a subset of ALGOL. In Formal Language Description Languages for Computer Programming, Steel, T. B., Jr. (Ed.), North-Holland, Amsterdam, 1966, pp. 1-12.
	14	Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960 [doi>10.1145/367236.367262]
	15	J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963 [doi>10.1145/366193.366201]
	16	NIVAT, M., AND NOLIN, N. Contribution to the definition of ALGOL semantics. In Formal Language Description Languages for Computer Programming, Steel, T. B., Jr. (Ed.), North-Holland, Amsterdam, 1966, pp. 148-159.
	17	STEEL, T. B., JR. (Ed.). Formal Language Description Languages for Computer Programming. North-Holland, Amsterdam, 1966.
	18	VAN WIJNGAARDEN, A. Generalized ALGOL. In Annual Review of Automatic Programming, Vol. 3, Goodman, Richard (Ed.), Pergamon Press, New York, 1963, pp. 17-26.
	19	Recursive definition of syntax and semantics. In Formal Language Description Languages for Computer Programming, Steel, T. B., Jr. (Ed.), North-Holland, Amsterdam, 1966, pp. 13-24.
	20	Niklaus Wirth , C. A. R. Hoare, A contribution to the development of ALGOL, Communications of the ACM, v.9 n.6, p.413-432, June 1966 [doi>10.1145/365696.365702]
	21	Niklaus Wirth , Helmut Weber, EULER: a generalization of ALGOL, and its formal definition: Part II, Communications of the ACM, v.9 n.2, p.89-99, Feb. 1966 [doi>10.1145/365170.365202]
	22	PL/I--DEFINITION GRouP OF THE VIENNA LABORATORY. Formal Definition of PL/I (U.L.D. No. 3). Tech. Rep. TR 25.071, IBM Laboratory Vienna, Vienna, Austria, Dec. 1966.
	23	IBM System/360 operating system PL/I language specifications. Form C28-6571-4, IBM Corp., 1966.

CITED BY 4

	James T. Kajiya, Generic functions by nonstandard name scoping in APL, ACM SIGAPL APL Quote Quad, v.12 n.1, p.172-179, September 1981
	F. C. Belz , E. K. Blum , D. Heimbigner, A multi-processing implementation-oriented formal definition of Ada in SEMANOL, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.202-212, January 1980
	Daniel M. Berry, The equivalence of models of tasking, ACM SIGACT News
	F. C. Belz , E. K. Blum , D. Heimbigner, A multi-processing implementation-oriented formal definition of Ada in SEMANOL, ACM SIGPLAN Notices, v.15 n.11, November 1980