An intermediate language to define dynamic semantics

Aho, 1977, How hard is compiler code generation?, 1 Aho, 1977 Allen F.E.et al., The experimental compiling system. IBM J. Res. Dev. 24(6), 695–715. Amman, 1979 Bakker, 1969, Semantics of programming languages, 173 1978 Bruno, 1975, The generation of optimal code for stack machines, J. Ass. Comput. Mach., 22, 383, 10.1145/321892.321901 Bryant, 1983, The design of a fast compiler-compiler for programming languages with LL(1) syntax Church, 1941 Dommergaard, 1980, The design of a virtual machine for ADA, 435 Garwick, 1966, The definition of programming languages by their compilers, 139 Grau, 1962, A translator-oriented symbolic programming language, J. Ass. Comput. Mach., 9, 480, 10.1145/321138.321146 Grove, 1980, The design of a virtual machine for ADA, SIGPLAN Not., 15, 223, 10.1145/947783.948663 Harrison, 1976, Formal semantics of schematic intermediate language 1970, International Business Machines Jensen, 1978 Katzan, 1978 Kornerup, 1980, Interpretation and code generation based on intermediate languages, Software—Practice and Experience, 10, 635, 10.1002/spe.4380100804 Kristensen, 1974, A Pascal environment machine (P-code), DAIMI-PB-28 Landin, 1965, A correspondence between ALGOL 60 and Church's lambda-notation: Part I, Commun. ACM, 8, 89, 10.1145/363744.363749 Landin, 1965, A correspondence between ALGOL 60 and Church's lambda-notation: Part II, Commun. ACM, 8, 158, 10.1145/363791.363804 Landin, 1966, A formal description of ALGOL 60, 266 1979 Lucas, 1978, On the formalization of programming languages: early history and main approaches, 1 Lucas, 1968, Method and notation for the formal definition of programming languages Lucas, 1969, On the formal description of PL/I, A. Rev. Automated Programming, 6, 3 Markov, 1962 McCarthy, 1966, A formal description of a subset of ALGOL, 1 Nelson, 1979, A comparison of PASCAL intermediate languages, SIGPLAN Not., 14, 208, 10.1145/872732.806971 Perkins, 1979, Machine-Independent PASCAL Code Optimization, SIGPLAN Not., 14, 201, 10.1145/872732.806970 Prabhala, 1977, A Comparison of Instruction Sets for Stack Machines, 132 1966 United States Department of Defense, 1982 Wegner, 1972, The Vienna definition language, Comput. Surv., 4, 5, 10.1145/356596.356598 Williams, 1981, Methods for specifying static semantics, Comput. Lang., 6, 1, 10.1016/0096-0551(81)90045-X Wirth, 1975, PASCAL-S: A Subset and Its Implementation