A Correspondence Between ALGOL 60 and Church's Lambda-Notation: Part I* This paper describes how some of the semantics of ALGOL 60 can be formalized by establishing a correspondence between expressions of ALGOL 60 and expressions in a modified form of Church's L-notation. First a model for computer languages and compute behavior is described, based on the notions of functional application and functional abstraction, but also having analogues for imperative language features. Then this model is used as an "abstract object language" into which ALGOL 60 is mapped. Many of ALGOL 60's features emerge as particular arrangements of a small number of structural rules, suggesting new classifications and generalizations. The correspondence is first described informally, mainly by illustrations. The second part of the paper gives a formal description, i.e. an "abstract compiler" into the "abstract objct language." This is itself presented in a "purely functional" notation, that is one using only application and abstraction. CACM February, 1965 Landin, P. J. CA650201 JB March 7, 1978 11:26 PM 1086 4 1323 1132 4 1323 1234 4 1323 1263 4 1323 1265 4 1323 1270 4 1323 1323 4 1323 1323 4 1323 1323 4 1323 1358 4 1323 1358 4 1323 1379 4 1323 1380 4 1323 1380 4 1323 1453 4 1323 1464 4 1323 1484 4 1323 1491 4 1323 1498 4 1323 1613 4 1323 1614 4 1323 1665 4 1323 1781 4 1323 1781 4 1323 1787 4 1323 1825 4 1323 1860 4 1323 1989 4 1323 2083 4 1323 2112 4 1323 2178 4 1323 2179 4 1323 2252 4 1323 2325 4 1323 2341 4 1323 2534 4 1323 2541 4 1323 2546 4 1323 2645 4 1323 2652 4 1323 2684 4 1323 2698 4 1323 2733 4 1323 2820 4 1323 2842 4 1323 2929 4 1323 2934 4 1323 3069 4 1323 3073 4 1323 3155 4 1323 669 4 1323 679 4 1323 691 4 1323 761 4 1323 949 4 1323 989 4 1323 1323 5 1323 1323 5 1323 1323 5 1323 267 5 1323 1781 5 1323 2178 5 1323 2326 5 1323 2684 5 1323 3184 5 1323 799 5 1323 123 6 1323 196 6 1323 919 6 1323 990 6 1323 1007 6 1323 1046 6 1323 1131 6 1323 1139 6 1323 1140 6 1323 1149 6 1323 1198 6 1323 1215 6 1323 1223 6 1323 1265 6 1323 1303 6 1323 1303 6 1323 1303 6 1323 1303 6 1323 1323 6 1323 1323 6 1323 1323 6 1323 1323 6 1323 1358 6 1323 1366 6 1323 1421 6 1323 1460 6 1323 1462 6 1323 1463 6 1323 1467 6 1323 1468 6 1323 1477 6 1323 1491 6 1323 1496 6 1323 1531 6 1323 1535 6 1323 1565 6 1323 1601 6 1323 1602 6 1323 1613 6 1323 1614 6 1323 1626 6 1323 1641 6 1323 1787 6 1323 1788 6 1323 205 6 1323 1834 6 1323 224 6 1323 249 6 1323 288 6 1323 316 6 1323 381 6 1323 398 6 1323 2059 6 1323 11 6 1323 2127 6 1323 2192 6 1323 404 6 1323 410 6 1323 463 6 1323 464 6 1323 483 6 1323 3184 6 1323 3184 6 1323 3184 6 1323 3186 6 1323 3188 6 1323 584 6 1323 600 6 1323 680 6 1323 691 6 1323 763 6 1323 799 6 1323