A Formal Semantics for Computer Languages and its Application In a Compiler-Compiler A semantic meta-language has been developed for representing the meanings of statements in a large class of computer languages. This meta-language has been the basis for construction of an efficient, functioning compiler-compiler. An informal discussion of the meta-language based on the example of a complete translator for a small language is presented. CACM January, 1966 Feldman, J. A. CA660101 JB March 3, 1978 4:31 PM 1046 4 1496 1086 4 1496 1105 4 1496 1139 4 1496 1140 4 1496 1234 4 1496 1263 4 1496 1265 4 1496 1496 4 1496 1496 4 1496 1496 4 1496 1683 4 1496 1768 4 1496 1781 4 1496 1787 4 1496 1824 4 1496 1945 4 1496 2061 4 1496 2126 4 1496 2546 4 1496 464 4 1496 584 4 1496 631 4 1496 653 4 1496 680 4 1496 763 4 1496 795 4 1496 799 4 1496 945 4 1496 1137 5 1496 1141 5 1496 1396 5 1496 1496 5 1496 1496 5 1496 1496 5 1496 1767 5 1496 1781 5 1496 1787 5 1496 1860 5 1496 1945 5 1496 1988 5 1496 2252 5 1496 404 5 1496 823 6 1496 123 6 1496 196 6 1496 196 6 1496 196 6 1496 914 6 1496 915 6 1496 917 6 1496 919 6 1496 964 6 1496 984 6 1496 989 6 1496 990 6 1496 990 6 1496 1007 6 1496 1012 6 1496 1028 6 1496 1029 6 1496 1046 6 1496 1083 6 1496 1084 6 1496 1098 6 1496 1122 6 1496 1131 6 1496 1132 6 1496 1138 6 1496 1139 6 1496 1139 6 1496 1140 6 1496 1141 6 1496 1141 6 1496 1149 6 1496 1198 6 1496 1200 6 1496 1214 6 1496 1215 6 1496 1215 6 1496 1223 6 1496 1223 6 1496 1265 6 1496 1265 6 1496 1278 6 1496 1303 6 1496 1323 6 1496 1334 6 1496 1336 6 1496 1358 6 1496 1358 6 1496 1365 6 1496 1366 6 1496 1366 6 1496 1386 6 1496 1387 6 1496 1388 6 1496 1389 6 1496 1392 6 1496 1393 6 1496 1394 6 1496 1395 6 1496 1396 6 1496 1396 6 1496 1397 6 1496 1421 6 1496 1421 6 1496 1455 6 1496 1460 6 1496 1462 6 1496 1463 6 1496 1467 6 1496 1467 6 1496 1468 6 1496 1468 6 1496 1477 6 1496 1477 6 1496 1487 6 1496 1491 6 1496 1491 6 1496 1491 6 1496 1496 6 1496 1496 6 1496 1496 6 1496 1496 6 1496 1496 6 1496 1496 6 1496 1496 6 1496 1496 6 1496 1531 6 1496 1535 6 1496 1565 6 1496 1601 6 1496 1602 6 1496 1613 6 1496 1614 6 1496 1626 6 1496 1626 6 1496 1641 6 1496 1641 6 1496 1781 6 1496 1785 6 1496 1786 6 1496 1787 6 1496 1788 6 1496 205 6 1496 224 6 1496 224 6 1496 249 6 1496 284 6 1496 288 6 1496 316 6 1496 378 6 1496 381 6 1496 381 6 1496 398 6 1496 11 6 1496 11 6 1496 14 6 1496 2155 6 1496 404 6 1496 407 6 1496 410 6 1496 463 6 1496 464 6 1496 483 6 1496 483 6 1496 3184 6 1496 3184 6 1496 3184 6 1496 3188 6 1496 3199 6 1496 3200 6 1496 3201 6 1496 3202 6 1496 3203 6 1496 3204 6 1496 561 6 1496 584 6 1496 584 6 1496 600 6 1496 669 6 1496 680 6 1496 680 6 1496 691 6 1496 730 6 1496 763 6 1496 763 6 1496 763 6 1496 799 6 1496 799 6 1496