Pair grammars, graph languages and string-to-graph translations

Naur, 1963, Revised report on the algorithmic language ALGOL 60, Comm. ACM, 6, 1, 10.1145/366193.366201 Floyd, 1967, Assigning meanings to programs, 19, 19 Good, 1970, Toward a man-machine system for proving program correctness Kaplan, 1969, Regular expressions and the equivalence of programs, J. Comput. System Sci., 3, 361, 10.1016/S0022-0000(69)80027-9 Knuth, 1965, On the translation of languages from left to right, Information and Control, 8, 607, 10.1016/S0019-9958(65)90426-2 Landin, 1965, Correspondence between ALGOL 60 and Church's lambda notation, Comm. ACM, 8, 89, 10.1145/363744.363749 Landin, 1965, Correspondence between ALGOL 60 and Church's lambda notation, Comm. ACM, 3, 158, 10.1145/363791.363804 Lewis, 1968, Syntax-directed transduction, J. Assoc. Comput. Mach., 15, 464, 10.1145/321466.321477 Lucas, 1969, On the formal description of PL/1, Ann. Rev. Automatic Progr., 6, 105, 10.1016/0066-4138(69)90005-6 Manna, 1969, Properties of programs and the first-order predicate calculus, J. Assoc. Comput. Mach., 16, 244, 10.1145/321510.321516 McCarthy, 1965 Miller, 1968, Linguistic methods in picture processing—a survey, 33, 279 Narasimhan, 1967, Programming languages and computers: A unified meta-theory, Advan. Computers, 8, 189, 10.1016/S0065-2458(08)60697-X Narasimhan, 1966, Syntax-directed interpretation of classes of pictures, Comm. ACM, 9, 166, 10.1145/365230.365258 Pfaltz, 1969, Web grammars Pratt, 1969, A hierarchical graph model of the semantics of programs, 34, 813 Pratt, 1969, Semantic modeling by hierarchical graphs Wirth, 1966, EULER: A generalization of ALGOL, and its formal definition: I, Comm. ACM, 9, 13, 10.1145/365153.365162