Programming Languages and Computers: A Unified Metatheory

J.W. Backus, The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference., in Inform. Process. Proc. IFIP Congr. 1959, pp. 125–132, UNESCO, Paris (1960). S.K.Basu On computation in programming languages, Computer Group Tech Tata Institute of Fundemental Research Bombay Rept. No. 1 Burks, 1963, Programming and the theory of automata, 100 Chomsky, 1964, Current issues in linguistic theory, 50 Dijkstra, 1962, An attempt to unify the constituent concepts of serial program execution, 237 S. Gorn, The treatment of ambiguity and paradox in mechanical languages. Proc. Symp. Pure Math. 201–218 (1962). Gorn, 1964, Summary remarks, Commun. Assoc. Computing Machinery, 7, 133, 10.1145/363921.363946 Kaluznin, 1959, On the algorithmisation of mathematical problems. (Russian.), Prob. Kibernetiki, 2, 51 1962, Math. Rev., 24, 335 Katz, 1964, The structure of a semantic theory, 479 Katz, 1964 Kirsch, 1964, Computer interpretation of English text and picture patterns, IEEE Trans. Electron. Computers, EC-13, 363, 10.1109/PGEC.1964.263816 Landin, 1964, The mechanical evaluation of expressions, Computer J., 6, 308, 10.1093/comjnl/6.4.308 Landin, 1966, The next seven hundred programming languages, Commun. Assoc. Computing Machinery, 9, 157, 10.1145/365230.365257 Ledley, 1964, High speed automatic analysis of biomedical pictures, Science, 146, 216, 10.1126/science.146.3641.216 McCarthy, 1963, A basis for a mathematical theory of computation, 33 McCarthy, 1963, 21 Narasimhan, 1964 Narasimhan, 1966, Syntax directed interpretation of classes of pictures, Commun. Assoc. Computing Machinery, 9, 166, 10.1145/365230.365258 Naur, 1960, Report of the algorithmic language Algol-60, Commun. Assoc. Computing Machinery, 3, 219 Naur, 1962, The basic philosophy, concepts, and features of Algol, 385 Nerode, 1963, Review No. 5766, Math. Rev, 26, 1094 Peter, 1958, Graphschemata und Rekursive Funktionen, Dialectica, 12, 373, 10.1111/j.1746-8361.1958.tb01470.x Proceedings of a working conference on mechanical language structures, 1964, Commun. Assoc. Computing Machinery, 7, 51 Samelson, 1963, 487 Schwartz, 1962, Jovial, a general algorithmic language, 481 fSymbolic Languages in Data Processing Gordon &Breach, New York, 1962 Woodger, 1962, The description of computing processes: some observations on automatic programming and Alogl-60, 391