The Vienna Definition Language

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.

	B1	David Beech, A Structural View of PL/I, ACM Computing Surveys (CSUR), v.2 n.1, p.33-64, March 1970 [doi>10.1145/356561.356564]
	B2	Daniel M. Berry, Block structure (Extended Abstract): Retention or deletion?, Proceedings of the third annual ACM symposium on Theory of computing, p.86-100, May 03-05, 1971, Shaker Heights, Ohio, United States [doi>10.1145/800157.805041]
	B3	BERRY, D. M. "Definition of the contour model in the Vienna Definition Language." TR 71-40, Center for Computer and Information Sciences, Brown University, Providence, R. I., April 1971.
	B4	R. A. Brooker , D. Morris, A General Translation Program for Phrase Structure Languages, Journal of the ACM (JACM), v.9 n.1, p.1-10, Jan. 1962 [doi>10.1145/321105.321106]
	D1	DENNIS, J. B.; ANn S. PATIL, "Computation structures." Notes for MIT course 6.232, Sept. 1970.
	F1	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]
	F2	FLOYD, R.W. "Assigning meanings to programs." In Proc. Symposium on. Appl. Math., Vol. 19, Amer. Math. Soc., 1967.
	H1	HENHAPL, W.; AND C. B. JONES. "The block structure concept and some possible implementations with proofs of equivalence." TR 25.104, IBM Lab. Vienna, April 1970.
	H2	C. A. R. Hoare, Proof of a program: FIND, Communications of the ACM, v.14 n.1, p.39-45, Jan. 1971 [doi>10.1145/362452.362489]
	H3	John E. Hopcroft , Jeffrey D. Ullman, Formal languages and their relation to automata, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1969
	I1	Edgar T. Irons, A syntax directed compiler for ALGOL 60, Communications of the ACM, v.4 n.1, p.51-55, Jan. 1961 [doi>10.1145/366062.366083]
	J1	John B. Johnston, The contour model of block structured processes, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115883]
	K1	KLEENE, S. C. Introduction to mathematics. Van Nostrand, New York, 1952.
	K2	KNUTH, D .E . "The semantics of contextfree languages." Mathematical System Theory 2, 2 (1968).
	L1	LANDIN, P .J . "The mechanical evaluation of expressions." Computer J. 6, 4 (Jan. 1964), 308-320.
	L2	LAUER, P. "Formal definition of ALGOL 60." TR 25.088, IBM Lab. Vienna, Dec. 1968.
	L3	P. M. Lewis, II , R. E. Stearns, Syntax-Directed Transduction, Journal of the ACM (JACM), v.15 n.3, p.465-488, July 1968 [doi>10.1145/321466.321477]
	L4	LEWIS, P.M.; AND R. E. STEARNS. "Property grammars and table machines." Information and Control 14, 6 (June 1969), 524-549.
	L5	LONDON, R.L. "Proving programs correct: some techniques and examples." BIT 10, 2 (1970), 168-182.
	L6	LUCAS, P. "Two constructive realizations of the block concept and their equivalence." TR 25.085, IBM Lab. Vienna, Dec. 1968.
	L7	LUCAS, P.; ET AL. "Method and notation for the formal definition of programming languages." TR 25.087, 1BM Lab. Vienna, 1968.
	L8	LUCAS, P.; AND K. WALK. "On the formal description of PL/I." Annual Reviews of Automatic Programming 6, 3 (1969).
	L9	LUCKHAM, D. C.; D. M. R. PARK; AND M. S. PATERSON. "On formalized computer programs." J. Computer and System Sciences 4, 3 (June 1970), 220-249.
	M1	Zohar Manna, Properties of Programs and the First-Order Predicate Calculus, Journal of the ACM (JACM), v.16 n.2, p.244-255, April 1969 [doi>10.1145/321510.321516]
	M2	McCARTHY, J. "Towards a mathematical science of computation." In Proc. IFIP Cong. 1962, North-Holland Publ. Co., Amsterdam, 1963.
	M3	McCARTHY, J. "A basis for a mathematical science of computation." In Formal programming languages, Braffort & Hirschberg (Eds.), North-Holland Publ. Co., Amsterdam, 1963.
	M4	McCARTHY, J. "A formal description of a subset of ALGOL." In Formal language description languages for computer programming, T. B. Steel, Jr. (Ed.), North-H011and Publ. Co., Amsterdam, 1966, 1-12.
	M5	MCCARTHY, J.; ET AL. The LISP 1.5 programming manual. MIT Press, Cambridge, Mass., 1965.
	M6	McCARTHY, J.; AND J. PAINTER. "Correctness of a compiler for arithmetic expressions." In Proc. Symposium on Appl. Math., Vol. 19, Amer. Math. Sot., 1967.
	M7	Clement Leo Mcgowan, III, Correctness results for lambda calculus interpreters, 1971
	N1	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]
	P1	PATERSON, M.S. "Equivalence problems in a model of computation." PhD Thesis, Cambridge University, 1967; available as MIT Artificial Intelligence Laboratory Memo. No. 1, Cambridge, Mass., Nov. 1970.
	R1	Arnold L. Rosenberg, Addressable data graphs (Extended Abstract), Proceedings of the third annual ACM symposium on Theory of computing, p.138-150, May 03-05, 1971, Shaker Heights, Ohio, United States [doi>10.1145/800157.805046]
	S1	J. C. Shepherdson , H. E. Sturgis, Computability of Recursive Functions, Journal of the ACM (JACM), v.10 n.2, p.217-255, April 1963 [doi>10.1145/321160.321170]
	S2	STANDISH, T. "Datastructures: an axiomatic approach." Unpublished report, Feb. 1971.
	V1	VAN WIJNGAARDEN; ET AL. "Report on the algorithmic language ALGOL 68." Numerische Mathematik 14, 2 (1969), 84-218.
	W1	WALK, K.; ET AL. "Abstract syntax and interpretation of PL/I, Version III." TR 25.098, IBM Lab. Vienna, April 1969.
	W2	Peter. Wegner, Programming Languages, Information Structures, and Machine Organization., McGraw Hill Text, 1968
	W3	WEGNER, P. "Three computer cultures." In Advances in computers, Vol. 10, F. L. Alt& M. Rubinoff (Eds.), Academic Press, New York, 1970, 7-78.
	W4	WEGNER, P. "Programming language semantics." In Courant Inst. Symposium on Formal Semantics, Prentice-Hall, Inc., Englewood Cliffs, N. J., 1971.
	W5	Peter Wegner, Data structure models for programming languages, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115882]
	W6	Peter Wegner, Operational semantics of programming languages, Proceedings of ACM conference on Proving assertions about programs, p.128-141, January 06-07, 1972, Las Cruces, New Mexico, United States
	W7	Niklaus Wirth , Helmut Weber, EULER: a generalization of ALGOL and it formal definition: Part 1, Communications of the ACM, v.9 n.1, p.13-25, Jan. 1966 [doi>10.1145/365153.365162]