摘要: Publisher Summary This chapter focuses on λ-calculus approach. The presents an introduction to a complementary activity is called semantic analysis and explores mathematical basis for it. technique consists of establishing correspondence between the texts language be analyzed expressions structurally simpler which problem description less diffuse. comprises certain applicative (AEs). AEs are characterized in abstract terms, without reference particular written representation them. When presenting specific AEs, one shall compelled adopt some conventions about how write them, but do so informally, it will convenient use different even representations same AE occasions.
sci-hub.se 参考文章(13)
John W. Backus, The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. ifip congress. pp. 125- 131 ,(1959)
E.W. Dijkstra, Making a translator for Algol 60 Annual Review of Automatic Programming. ,vol. 3, pp. 347- 356 ,(1963)
P.C. Gilmore, An Abstract Computer with a Lisp-Like Machine Language Without a Label Operator Computer Programming and Formal Systems. ,vol. 26, pp. 71- 86 ,(1963) , 10.1016/S0049-237X(08)72019-6
R.A. Brooker, I.R. MacCallum, D. Morris, J.S. Rohl, The compiler compiler Annual Review in Automatic Programming. ,vol. 3, pp. 229- 275 ,(1963) , 10.1016/S0066-4138(63)80009-9
A. J. Perlis, K. Samelson, Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programming Numerische Mathematik. ,vol. 1, pp. 41- 60 ,(1959) , 10.1007/BF01386372
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. ,vol. 3, pp. 299- 314 ,(1960) , 10.1145/367236.367262
John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I Communications of the ACM. ,vol. 3, pp. 184- 195 ,(1960) , 10.1145/367177.367199
Niklaus Wirth, A generalization of ALGOL Communications of The ACM. ,vol. 6, pp. 547- 554 ,(1963) , 10.1145/367593.367619
M. P. Barnett, R. P. Futrelle, Syntactic analysis by digital computer Communications of The ACM. ,vol. 5, pp. 515- 526 ,(1962) , 10.1145/368959.368992
Robert W. Floyd, Syntactic Analysis and Operator Precedence Journal of the ACM. ,vol. 10, pp. 316- 333 ,(1963) , 10.1145/321172.321179