{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T02:37:35Z","timestamp":1709260655850},"publisher-location":"Berlin, Heidelberg","reference-count":132,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540069584","type":"print"},{"value":"9783540372639","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3540069585_66","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:40:25Z","timestamp":1330184425000},"page":"603-621","source":"Crossref","is-referenced-by-count":2,"title":["Appendix: Historical remarks on compiler construction"],"prefix":"10.1007","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"22_CR1","first-page":"25","volume":"4","author":"The A-2 Compiler System","year":"1955","unstructured":"The A-2 Compiler System: Automatic Programming. Computers and Automation 4, 25\u201331 (Sept. 1955) and 4, 15\u201323 (Oct. 1955)","journal-title":"Computers and Automation"},{"key":"22_CR2","unstructured":"Adams, Ch. W., Laning, J. H. jr.: The MIT systems of automatic coding: Comprehensive, Summer Session, and Algebraic. Symposium Automatic Programming Digital Computers, Office of Naval Research, PB 111 607. May 13\u201314, 1954, p. 30\u201333"},{"issue":"7","key":"22_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/368873.368884","volume":"1","author":"E. S. Adams","year":"1958","unstructured":"Adams, E. S., Schlesinger, S. I.: Simple automatic coding systems. Comm. ACM 1:7, 5\u20139 (1958)","journal-title":"Comm. ACM"},{"key":"22_CR4","unstructured":"Angstl, H.: Seminar \u00fcber Logistik. Prof. W. Britzelmayr, Universit\u00e4t M\u00fcnchen, 1950"},{"issue":"7","key":"22_CR5","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/368370.368373","volume":"2","author":"B. W. Arden","year":"1959","unstructured":"Arden, B. W., Graham, R. M.: On GAT and the construction of translators. Comm. ACM 2:7, 24\u201326 (1959)","journal-title":"Comm. ACM"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/366062.366079","volume":"4","author":"B. W. Arden","year":"1961","unstructured":"Arden, B. W., Galler, B. A., Graham, R. M.: The internal organization of the MAD translator. Comm. ACM 4, 28\u201331 (1961)","journal-title":"Comm. ACM"},{"key":"22_CR7","first-page":"2.200","volume-title":"Handbook of Automation, Computation, and Control","author":"Automatic Programming","year":"1959","unstructured":"Automatic Programming: The IT translator. In: E. M. Grabbe et al. (eds.): Handbook of Automation, Computation, and Control 2, 2.200\u20132.228. New York: John Wiley and Sons 1959"},{"key":"22_CR8","unstructured":"Backus, J. W., Herrick, H.: IBM 701 speedcoding and other automatic programming systems. Symposium Automatic Programming Digital Computers, Office of Naval Research, PB 111 607. May 13\u201314, 1954, p. 106\u2013113"},{"key":"22_CR9","first-page":"231","volume-title":"Automatic Programming: Properties and performance of FORTRAN Systems I and II. Symposium Mechanisation of Thought Processes","author":"J. W. Backus","year":"1958","unstructured":"Backus, J. W.: Automatic Programming: Properties and performance of FORTRAN Systems I and II. Symposium Mechanisation of Thought Processes, National Physical Lab., Teddington, November 24\u201327, 1958, p. 231\u2013255"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Backus, J. W. et al.: The FORTRAN automatic coding system. Proc. AFIPS 1957 WJCC 11, p. 188\u2013198","DOI":"10.1145\/1455567.1455599"},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1145\/368959.368992","volume":"5","author":"M. P. Barnett","year":"1962","unstructured":"Barnett, M. P., Futrelle, R. P.: Syntactic analysis by digital computer. Comm. ACM 5, 515\u2013526 (1962)","journal-title":"Comm. ACM"},{"key":"22_CR12","unstructured":"Barton, R. S.: Another (nameless) compiler for the Burroughs 220. Comm. ACM 4, A 11 (1961)"},{"key":"22_CR13","unstructured":"Bastian, A. L. jr.: A phrase-structure language translator. Air Force Cambridge Res. Labs., Hanscom Field (Mass.), Rep. No. AFCRL-69-549, August 1962"},{"key":"22_CR14","first-page":"64","volume":"14","author":"F. L. Bauer","year":"1960","unstructured":"Bauer, F. L.: The formula-controlled logical computer \"Stanislaus\". Mathematics of Computation (MTAC) 14, 64\u201367 (1960)","journal-title":"Mathematics of Computation (MTAC)"},{"key":"22_CR15","unstructured":"Bauer, F. L., Bottenbruch, H., Rutishauser, H., Samelson, K.: Proposal for a universal language for the description of computing processes. Z\u00fcrich, Mainz, M\u00fcnchen, Darmstadt (ZMMD-Projekt), April 1958"},{"key":"22_CR16","unstructured":"Bauer, F. L., Samelson, K.: Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschine zur Aus\u00fcbung des Verfahrens. Deutsche Patentauslegeschrift 1094019. Anm.: 30. M\u00e4rz 1957; Bek.: 1. Dez. 1960"},{"key":"22_CR17","unstructured":"Bauer, F. L., Samelson, K.: The cellar principle for formula translation. Proc. ICIP Paris 1959, p. 154"},{"key":"22_CR18","volume-title":"Digitale Informationswandler","author":"F. L. Bauer","year":"1962","unstructured":"Bauer, F. L., Samelson, K.: Maschinelle Verarbeitung von Programmsprachen. In: Hoffmann, W. (Hrsg.): Digitale Informationswandler. Braunschweig: Vieweg 1962"},{"key":"22_CR19","first-page":"5","volume":"37","author":"C. B\u00f6hm","year":"1954","unstructured":"B\u00f6hm, C.: Calculatrices digitales. Du d\u00e9chiffrage de formules logico-math\u00e9matiques par la machine m\u00eame dans la conception du programme (Dissertation, Z\u00fcrich 1952). Annali Mathematica pura applicata, Ser. 4, 37, 5\u201347 (1954)","journal-title":"Annali Mathematica pura applicata"},{"key":"22_CR20","unstructured":"Bottenbruch, H.: Einige \u00dcberlegungen zur \u00dcbersetzung einer algorithmischen Sprache in Maschinenprogramme. Manuskript, Institut f\u00fcr Praktische Mathematik (IPM) der Techn. Hochschule Darmstadt, 1957"},{"key":"22_CR21","unstructured":"Brooker, R. A.: Some technical features of the Manchester Mercury Autocode Programme. Symposium Mechanisation of Thought Processes, National Physical Lab., Teddington, November 24\u201327, 1958, p. 201\u2013229"},{"key":"22_CR22","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1093\/comjnl\/3.3.168","volume":"3","author":"R. A. Brooker","year":"1960","unstructured":"Brooker, R. A., Morris, D.: An assembly program for a phrase structure language. Computer J. 3, 168\u2013174 (1960)","journal-title":"Computer J."},{"key":"22_CR23","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1093\/comjnl\/3.4.220","volume":"3","author":"R. A. Brooker","year":"1961","unstructured":"Brooker, R. A., Morris, D.: Some proposals for the realization of a certain assembly program. Computer J. 3, 220\u2013231 (1961)","journal-title":"Computer J."},{"key":"22_CR24","volume-title":"Second Annual Review of Automatic Programming","author":"R. A. Brooker","year":"1961","unstructured":"Brooker, R. A., Morris, D.: A description of Mercury Autocode in terms of a phrase structure language. In: Goodman, R. (ed.): Second Annual Review of Automatic Programming. New York: Pergamon 1961"},{"key":"22_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/321105.321106","volume":"9","author":"R. A. Brooker","year":"1962","unstructured":"Brooker, R. A., Morris, D.: A general translation program for phrase-structure languages. J. ACM 9, 1\u201310 (1962)","journal-title":"J. ACM"},{"key":"22_CR26","unstructured":"Brooker, R. A. Morris, D.: A compiler for a self-defining phrase structure language. University of Manchester, England (undated)"},{"key":"22_CR27","unstructured":"Brown, J. H. Carr III, J. W.: Automatic programming and its development on the MIDAC. Symposium Automatic Programming Digital Computers, Office of Naval Research, PB 111 607. May 13\u201314, 1954, p. 84\u201397"},{"issue":"46","key":"22_CR28","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/2001990","volume":"8","author":"A. W. Burks","year":"1954","unstructured":"Burks, A. W., Warren, D. W., Wright, J. B.: An analysis of a logical machine using paranthesis-free notation. Math. Tables and Other Aids to Computation (MTAC) 8:46, 53\u201357 (1954)","journal-title":"Math. Tables and Other Aids to Computation (MTAC)"},{"key":"22_CR29","unstructured":"Burroughs B5000. In: Data Processing Encyclopedia. Detroit 1961, p. 50\u201355"},{"key":"22_CR30","volume-title":"The TGS-II translator-generator system","author":"T. E. Cheatham","year":"1965","unstructured":"Cheatham, T. E.: The TGS-II translator-generator system. Proc. IFIP Congr. 65, New York. Washington (D.C.): Spartan 1965"},{"key":"22_CR31","first-page":"31","volume-title":"Syntax-directed compiling","author":"T. E. Cheatham","year":"1964","unstructured":"Cheatham, T. E., Sattley, K.: Syntax-directed compiling. Proc. AFIPS 1964 SJCC 25. Washington (D.C.): Spartan 1964, p. 31\u201357"},{"key":"22_CR32","volume-title":"Syntactic structures","author":"N. Chomsky","year":"1957","unstructured":"Chomsky, N.: Syntactic structures. Den Haag: Mouton 1957"},{"key":"22_CR33","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N. Chomsky","year":"1959","unstructured":"Chomsky, N.: On certain formal properties of grammars. Information and Control 2, 137\u2013167 (1959). Addendum: A note on phrase structure grammars. Information and Control 2, 393\u2013395 (1959)","journal-title":"Information and Control"},{"key":"22_CR34","first-page":"323","volume-title":"Handbook of Mathematical Psychology, Vol. 2","author":"N. Chomsky","year":"1963","unstructured":"Chomsky, N.: Formal properties of grammars. In: Luce, R. D., Bush, R., Galanter, E. (eds.): Handbook of Mathematical Psychology, Vol. 2. New York: John Wiley and Sons 1963, p. 323\u2013418"},{"key":"22_CR35","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/S0049-237X(08)72023-8","volume-title":"Computer Programming and Formal Systems","author":"N. Chomsky","year":"1963","unstructured":"Chomsky, N., Sch\u00fctzenberger, M. P.: The algebraic theory of context-free languages. In: Braffort, P., Hirschberg, D. (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963, p. 118\u2013161"},{"key":"22_CR36","volume-title":"Annals of Mathematics Studies No. 6","author":"A. Church","year":"1941","unstructured":"Church, A.: The calculi of lambda-conversion. In: Annals of Mathematics Studies No. 6. Princeton (N.J.): Princeton University Press 1941"},{"key":"22_CR37","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/366663.366704","volume":"6","author":"M. E. Conway","year":"1963","unstructured":"Conway, M. E.: Design of a seperable transition-diagram compiler. Comm. ACM 6, 396\u2013408 (1963)","journal-title":"Comm. ACM"},{"key":"22_CR38","first-page":"347","volume":"3","author":"E. W. Dijkstra","year":"1963","unstructured":"Dijkstra, E. W.: Making a translator for ALGOL 60. Annual Review in Automatic Programming 3, 347\u2013356 (1963)","journal-title":"Annual Review in Automatic Programming"},{"key":"22_CR39","unstructured":"Eickel, J.: Generation of parsing algorithms for Chomsky 2 \u2014 type languages. Mathematisches Institut der Technischen Universit\u00e4t M\u00fcnchen, Bericht Nr. 6401, 1964"},{"key":"22_CR40","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/366707.367583","volume":"6","author":"J. Eickel","year":"1963","unstructured":"Eickel, J., Paul, M., Bauer, F. L., Samelson, K.: A syntax-controlled generator of formal language processors. Comm. ACM 6, 451\u2013455 (1963)","journal-title":"Comm. ACM"},{"issue":"3","key":"22_CR41","first-page":"427","volume":"118","author":"A. P. Ershov","year":"1958","unstructured":"Ershov, A. P.: On programming of arithmetic operations (Russ.). Doklady AN SSSR 118:3, 427\u2013430 (1958). (Engl. Transl. in: Comm. ACM 1:8, 3\u20136 (1958))","journal-title":"Doklady AN SSSR"},{"key":"22_CR42","volume-title":"The work of the computing centre of the Academy of Sciences of the USSR in the field of automatic programming","author":"A. P. Ershov","year":"1958","unstructured":"Ershov, A. P.: The work of the computing centre of the Academy of Sciences of the USSR in the field of automatic programming. Symposium Mechanisation of Thought Processes. National Physical Lab., Teddington, November 24\u201327, 1958, p. 257\u2013278"},{"key":"22_CR43","unstructured":"Ershov, A. P.: Programming Programme for the BESM Computer (Russ.). Moskau: Verlag der Akademie der Wissenschaften der UdSSR 1958 und London: Pergamon Press 1960"},{"key":"22_CR44","unstructured":"Fischer, P. C.: A proposal for a term project for applied mathematics 205. Manuscript, 1959"},{"key":"22_CR45","unstructured":"Flow-Matic Programming System. Remington-Rand Univac Div. of Sperry Rand Corp. New York 1958"},{"key":"22_CR46","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/367349.367360","volume":"3","author":"R. W. Floyd","year":"1960","unstructured":"Floyd, R. W.: An algorithm defining ALGOL statement analysis with validity checking. Comm. ACM 3, 418\u2013419 (1960)","journal-title":"Comm. ACM"},{"key":"22_CR47","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/366062.366082","volume":"4","author":"R. W. Floyd","year":"1961","unstructured":"Floyd, R. W.: An algorithm for coding efficient arithmetic operations. Comm. ACM 4, 42\u201351 (1961)","journal-title":"Comm. ACM"},{"key":"22_CR48","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/321172.321179","volume":"10","author":"R. W. Floyd","year":"1963","unstructured":"Floyd, R. W.: Syntactic analysis and operator precedence. J. ACM 10, 316\u2013333 (1963)","journal-title":"J. ACM"},{"key":"22_CR49","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/363921.363927","volume":"7","author":"R. W. Floyd","year":"1964","unstructured":"Floyd, R. W.: Bounded context syntactic analysis. Comm. ACM 7, 62\u201367 (1964)","journal-title":"Comm. ACM"},{"key":"22_CR50","volume-title":"Compiler Techniques","author":"R. W. Floyd","year":"1972","unstructured":"Floyd, R. W.: Syntactic analysis and operator precedence. In: Pollack, B.W. (ed.): Compiler Techniques. Princeton (N.J.): Auerbach Publishers 1972"},{"key":"22_CR51","volume-title":"Compiler Techniques","author":"R. W. Floyd","year":"1972","unstructured":"Floyd, R. W.: The syntax of programming languages \u2014 a survey. In: Pollack, B. W. (ed.): Compiler Techniques. Princeton (N.J.): Auerbach Publishers 1972"},{"key":"22_CR52","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/comjnl\/11.1.31","volume":"11","author":"J. M. Foster","year":"1968","unstructured":"Foster, J. M.: A syntax improving device. Computer J. 11, 31\u201334 (1968)","journal-title":"Computer J."},{"key":"22_CR53","unstructured":"GAMM Fachausschu\u00df Programmieren (Hrsg.): Vorschl\u00e4ge f\u00fcr eine algorithmische Schreibweise zur Formel\u00fcbersetzung. Z\u00fcrich, Mainz, M\u00fcnchen, Darmstadt, Oktober 1957"},{"key":"22_CR54","unstructured":"Glennie, A.: On the syntax machine and the construction of a universal compiler. Carnegie-Mellon University, Techn. Report No. 2 (AD-240512), July 1960"},{"key":"22_CR55","unstructured":"Goldfinger, R.: New York University Compiler System. Symposium Automatic Programming Digital Computers, Office of Naval Research, PB 111 607. May 13\u201314, 1954, p. 30\u201333"},{"key":"22_CR56","unstructured":"Gorn, S.: Planning universal semi-automatic coding. Symposium Automatic Programming Digital Computers, Office of Naval Research, PB 111 607. May 13\u201314, 1954, p. 74\u201383"},{"key":"22_CR57","volume-title":"On the logical design of formal mixed languages. Moore School of Electrical Engineering","author":"S. Gorn","year":"1959","unstructured":"Gorn, S.: On the logical design of formal mixed languages. Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, 1959"},{"key":"22_CR58","first-page":"17","volume-title":"Bounded context translation","author":"R. M. Graham","year":"1964","unstructured":"Graham, R. M.: Bounded context translation. Proc. AFIPS 1964 SJCC 25. Baltimore (Md.): Spartan 1964, p. 17\u201329"},{"key":"22_CR59","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/366062.366074","volume":"4","author":"A. A. Grau","year":"1961","unstructured":"Grau, A. A.: Recursive processes and ALGOL translation. Comm. ACM 4, 10\u201315 (1961)","journal-title":"Comm. ACM"},{"key":"22_CR60","unstructured":"Grau, A. A.: The structure of an ALGOL translator. Oak Ridge Nat. Lab., Oak Ridge (Tenn.), Report No. ORNL-3054, February 9, 1961"},{"key":"22_CR61","unstructured":"Greibach, S. A.: Inverses of phrase structure generators. Harvard University, Cambridge (Mass.), Ph. D. dissertation, June 1963"},{"key":"22_CR62","volume-title":"Compiler construction for digital computers","author":"D. Gries","year":"1971","unstructured":"Gries. D.: Compiler construction for digital computers. New York: John Wiley and Sons 1971"},{"key":"22_CR63","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/362851.362872","volume":"11","author":"D. Gries","year":"1968","unstructured":"Gries, D.: Use of transition matrices in compiling. Comm. ACM 11, 26\u201334 (1968)","journal-title":"Comm. ACM"},{"key":"22_CR64","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1145\/365474.365511","volume":"8","author":"D. Gries","year":"1965","unstructured":"Gries, D. et al.: Some techniques used in the ALCOR-Illinois 7090. Comm. ACM 8, 496\u2013500 (1965)","journal-title":"Comm. ACM"},{"key":"22_CR65","first-page":"108","volume":"22","author":"A. C. D. D. Haley","year":"1962","unstructured":"Haley, A. C. D.: The KDF 9 computer system. Proc. AFIPS 1962 FJCC 22. Washington (D.C.): Spartan 1962, p. 108\u2013120","journal-title":"Proc. AFIPS 1962 FJCC"},{"key":"22_CR66","volume-title":"Machine independent computer programming","author":"M. H. Halstead","year":"1962","unstructured":"Halstead, M. H.: Machine independent computer programming. Washington (D.C.): Spartan 1962, p. 37 ff"},{"key":"22_CR67","unstructured":"Hopper, G. M.: Automatic programming, definitions. Symposium Automatic Programming Digital Computers, Office of Naval Research, PB 111 607. May 13\u201314, 1954, p. 1\u20135"},{"key":"22_CR68","unstructured":"Hopper, G. M.: First glossary of programming terminology. Report to the Association for Computing Machinery (ACM), June 1954"},{"key":"22_CR69","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1093\/comjnl\/4.1.10","volume":"4","author":"H. D. Huskey","year":"1961","unstructured":"Huskey, H. D.: Compiling techniques for algebraic expressions. Computer J. 4, 10\u201319 (1961)","journal-title":"Computer J."},{"key":"22_CR70","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/366062.366073","volume":"4","author":"H. D. Huskey","year":"1961","unstructured":"Huskey, H. D., Wattenburg, W. H.: A basic compiler for arithmetic expressions. Comm. ACM 4, 3\u20139 (1961)","journal-title":"Comm. ACM"},{"key":"22_CR71","doi-asserted-by":"crossref","unstructured":"Ingerman, P. Z.: A new algorithm for algebraic translation. Reprints of papers presented at the 14th National Meeting of the Association for Computing Machinery, 1959, p. 22.1\u201322.2","DOI":"10.1145\/612201.612229"},{"key":"22_CR72","volume-title":"A syntax oriented compiler.... Moore School of Electr. Engineering","author":"P. Z. Ingerman","year":"1963","unstructured":"Ingerman, P. Z.: A syntax oriented compiler.... Moore School of Electr. Engineering. University of Pennsylvania, Philadelphia, April 1963"},{"key":"22_CR73","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/366062.366083","volume":"4","author":"E. T. Irons","year":"1961","unstructured":"Irons, E. T.: A syntax directed compiler for ALGOL 60. Comm. ACM 4, 51\u201355 (1961)","journal-title":"Comm. ACM"},{"key":"22_CR74","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0066-4138(63)80008-7","volume":"3","author":"E. T. Irons","year":"1963","unstructured":"Irons, E. T.: The structure and use of the syntax-directed compiler. In: Annual Review in Automatic Programming 3, 207\u2013227 (1963)","journal-title":"Annual Review in Automatic Programming"},{"key":"22_CR75","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/363921.363931","volume":"7","author":"E. T. Irons","year":"1964","unstructured":"Irons, E. T.: 'structural connections\u2019 in formal languages. Comm. ACM 7, 67\u201372 (1964)","journal-title":"Comm. ACM"},{"issue":"1","key":"22_CR76","first-page":"39","volume":"113","author":"Y. J. Janov","year":"1957","unstructured":"Janov, Y. J.: On the equivalence and transformation of program schemes (Russ.). Doklady AN SSSR 113:1, 39\u201342 (1957). Engl. transl. in: Comm. ACM 1:10, 8\u201312 (1958)","journal-title":"Doklady AN SSSR"},{"issue":"2","key":"22_CR77","first-page":"283","volume":"113","author":"Y. J. Janov","year":"1957","unstructured":"Janov, Y. J.: On matrix program schemes (Russ.). Doklady AN SSSR 113:2, 283\u2013286 (1957). Engl. transl. in: Comm. ACM 1:12, 3\u20136 (1958)","journal-title":"Doklady AN SSSR"},{"issue":"10","key":"22_CR78","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/368453.368461","volume":"2","author":"J. Kanner","year":"1959","unstructured":"Kanner, J.: An algebraic translator. Comm. ACM 2:10, 19\u201322 (1959)","journal-title":"Comm. ACM"},{"issue":"4","key":"22_CR79","first-page":"738","volume":"113","author":"L. V. Kantorovich","year":"1957","unstructured":"Kantorovich, L. V.: On a mathematical symbolism convenient for performing machine calculations (Russ.). Doklady AN SSSR 113:4, 738\u2013741 (1957)","journal-title":"Doklady AN SSSR"},{"key":"22_CR80","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/1968749","volume":"35","author":"S. C. Kleene","year":"1934","unstructured":"Kleene, S. C.: Proof by cases in formal logic. Annals of Mathematics 35, 529\u2013544 (1934)","journal-title":"Annals of Mathematics"},{"key":"22_CR81","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/368481.368507","volume":"2","author":"D. E. Knuth","year":"1959","unstructured":"Knuth, D. E.: Runcible: Algebraic translation on a limited computer. Comm. ACM 2, 18\u201321 (1959)","journal-title":"Comm. ACM"},{"key":"22_CR82","first-page":"8","volume":"11","author":"D. E. Knuth","year":"1962","unstructured":"Knuth, D. E.: A history of writing compilers. Computers and Automation 11, 8\u201314 (1962)","journal-title":"Computers and Automation"},{"key":"22_CR83","unstructured":"Kolloquium \u00fcber Sprachen und Algorithmen. Berlin, 8.\u201311. Juni 1960. Math. Logik 7, 299\u2013308, 1961"},{"key":"22_CR84","first-page":"306","volume-title":"Multiple-path syntactic analyzer. Proc. IFIP Congr. 62, Munich","author":"S. Kuno","year":"1962","unstructured":"Kuno, S., Oettinger, A. G.: Multiple-path syntactic analyzer. Proc. IFIP Congr. 62, Munich. Amsterdam: North-Holland 1962, p. 306\u2013312"},{"key":"22_CR85","unstructured":"Laning, J. H., Zierler, N.: A program for translation of mathematical equations for Whirlwind I. Massachusetts Institute of Technology, Cambridge (Mass.), Engineering Memorandum E-364, January 1954"},{"key":"22_CR86","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/366862.366872","volume":"5","author":"R. S. Ledley","year":"1962","unstructured":"Ledley, R. S., Wilson, J. B.: Autmatic-programming-language translation through syntactical analysis. Comm. ACM 5, 145\u2013155 (1962)","journal-title":"Comm. ACM"},{"key":"22_CR87","first-page":"46","volume":"1","author":"A. A. Ljapunov","year":"1958","unstructured":"Ljapunov, A. A.: On logical schemes of programming (Russ.) Problemi Kibernetiki 1, 46\u201374 (1958). Deutsche \u00dcbers. in: Ljapunov, A. A. (Hrsg.): Probleme der Kybernetik, Bd. 1. Berlin: Akademie Verlag 1962, p. 53\u201386","journal-title":"Problemi Kibernetiki"},{"key":"22_CR88","first-page":"159","volume":"3","author":"P. Lucas","year":"1961","unstructured":"Lucas, P.: The structure of formula-translators. Mail\u00fcfterl, Vianna, Austria. ALGOL Bulletin Suppl. No. 16, September 1961 und Elektronische Rechenanlagen 3, 159\u2013166 (1961)","journal-title":"Mail\u00fcfterl, Vianna, Austria. ALGOL Bulletin Suppl. No. 16, September 1961 und Elektronische Rechenanlagen"},{"key":"22_CR89","first-page":"604","volume":"10","author":"J. Lukasiewicz","year":"1929","unstructured":"Lukasiewicz, J.: O znaczeniu i potrzebach logiki matematycznej (on the importance and needs of mathematical logic). Nauka Polska 10, 604\u2013620 (1929)","journal-title":"Nauka Polska"},{"key":"22_CR90","unstructured":"Lukasiewicz, J.: Elementy logiki matematycznej (Elements of mathematical logic). Lecture Notes, 2nd edition (1929) \u2014 Warszawa, 1958, PWN, p. 40"},{"key":"22_CR91","volume-title":"Elements of mathematical logic","author":"J. Lukasiewicz","year":"1963","unstructured":"Lukasiewicz, J.: Elements of mathematical logic. Oxford: Pergamon Press 1963"},{"key":"22_CR92","first-page":"31","volume":"23","author":"J. Lukasiewicz","year":"1930","unstructured":"Lukasiewicz, J., Tarski, A.: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. C.R.Soc. Sci. Lett. Varsovie, Ch. III, 23, 31 (1930)","journal-title":"C.R.Soc. Sci. Lett. Varsovie, Ch. III"},{"key":"22_CR93","first-page":"22","volume-title":"Ergebnisse eines mathematischen Kolloquiums 3, (1932)","author":"K. Menger","year":"1935","unstructured":"Menger, K.: Eine elementare Bemerkung \u00fcber die Struktur logischer Formeln. In: Menger, K. (Hrsg.): Ergebnisse eines mathematischen Kolloquiums 3, (1932). Leipzig und Wien: Deutige 1935, p. 22\u201323"},{"key":"22_CR94","unstructured":"Namur, P.: Entwurf eines Hochgeschwindigkeits-Rechenautomaten mit Leuchtpunktabtastung als Grundelement. Technische Hochschule Darmstadt, Dissertation, November 1964"},{"key":"22_CR95","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1090\/psapm\/012\/9975","volume":"12","author":"A. G. Oettinger","year":"1961","unstructured":"Oettinger, A. G.: Automatic syntactic analysis and the push-down store. Proc. Symp. Appl. Math. 12, Providence (R.I.): Amer. Math. Soc. 1961, p. 104\u2013129","journal-title":"Proc. Symp. Appl. Math."},{"key":"22_CR96","unstructured":"Paul, M.: Zur Struktur formaler Sprachen. Universit\u00e4t Mainz, Dissertation D77, 1962"},{"key":"22_CR97","first-page":"65","volume-title":"A general processor for certain formal languages","author":"M. Paul","year":"1962","unstructured":"Paul, M.: A general processor for certain formal languages. Proc. Symp. Symbolic Languages in Data Processing, Rome, 1962. New York \u2014 London: Gordon and Breach 1962, p. 65\u201374"},{"key":"22_CR98","first-page":"493","volume-title":"ALGOL 60 processors and a processor generator","author":"M. Paul","year":"1962","unstructured":"Paul, M.: ALGOL 60 processors and a processor generator. Proc. IFIP Congr. 62, Munich. Amsterdam: North-Holland 1962, p. 493\u2013497"},{"key":"22_CR99","unstructured":"Perlis, A. J. et al.: Internal translator (IT), a compiler for the 650. Carnegie Institute of Technology, Computation Center, Pittsburgh 1956. Reproduced by Lincoln Lab. Div. 6, Document 6D-327"},{"key":"22_CR100","first-page":"190","volume":"3","author":"W. L. Poel van der","year":"1953","unstructured":"van der Poel, W. L.: Dead programmes for a magnetic drum automatic computer. Applied Scientific Research (B) 3, 190\u2013198 (1953)","journal-title":"Applied Scientific Research"},{"key":"22_CR101","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","volume":"65","author":"E. L. Post","year":"1943","unstructured":"Post, E. L.: Formal reduction of the general combinatorial decision problem. Amer. J. Math. 65, 197\u2013215 (1943)","journal-title":"Amer. J. Math."},{"key":"22_CR102","unstructured":"Reynolds, J. C.: A compiler and generalized translator. Applied Math. Div., Argonne Natl. Lab., Argonne, Ill., 1962"},{"key":"22_CR103","volume-title":"The APS III compiler for the Datatron 204","author":"H. G. Rice","year":"1957","unstructured":"Rice, H. G.: The APS III compiler for the Datatron 204. Westinghouse Research Lab., Pittsburgh, Manuscript, 1957"},{"key":"22_CR104","first-page":"141","volume-title":"APT common computer language","author":"B. Rich","year":"1961","unstructured":"Rich, B.: APT common computer language. Manuscript, Appl. Phys. Lab. Johns Hopkins University, Baltimore (Md.) 1957 and Annual Review in Automatic Programming 2, 141\u2013159 (1961)"},{"key":"22_CR105","volume-title":"The elements of mathematical logic","author":"P. C. Rosenbloom","year":"1950","unstructured":"Rosenbloom, P. C.: The elements of mathematical logic. New York: Dover 1950"},{"key":"22_CR106","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/zamm.19510310820","volume":"31","author":"H. Rutishauser","year":"1951","unstructured":"Rutishauser, H.: \u00dcber automatische Rechenplananfertigung bei programmgesteuerten Rechenmaschinen. Z. angew. Math. Mech. 31, 255 (1951)","journal-title":"Z. angew. Math. Mech."},{"key":"22_CR107","volume-title":"Automatische Rechenplananfertigung bei programmgesteuerten Rechnemaschinen. Inst. f. Angew. Mathematik ETH Z\u00fcrich, Mitteil. Nr. 3","author":"H. Rutishauser","year":"1952","unstructured":"Rutishauser, H.: Automatische Rechenplananfertigung bei programmgesteuerten Rechnemaschinen. Inst. f. Angew. Mathematik ETH Z\u00fcrich, Mitteil. Nr. 3. Basel: Verlag Birkh\u00e4user 1952"},{"key":"22_CR108","first-page":"312","volume":"32","author":"H. Rutishauser","year":"1952","unstructured":"Rutishauser, H.: Automatische Rechenplananfertigung bei programmgesteuerten Rechenmaschinen. Z. angew. Math. Mech. 32, 312\u2013313 (1952)","journal-title":"Z. angew. Math. Mech."},{"key":"22_CR109","first-page":"61","volume-title":"Probleme der Programmierungstechnik. Aktuelle Probleme der Rechentechnik","author":"K. Samelson","year":"1957","unstructured":"Samelson, K.: Probleme der Programmierungstechnik. Aktuelle Probleme der Rechentechnik. Ber. Internat. Mathematiker-Kolloquium, Dresden November 22\u201327, 1955. Berlin: VEB Deutscher Verlag der Wissenschaften 1957, p. 61\u201368"},{"key":"22_CR110","first-page":"487","volume-title":"Programming languages and their processors","author":"K. Samelson","year":"1963","unstructured":"Samelson, K.: Programming languages and their processors. Proc. IFIP Congr. 62, Munich. Amsterdam: North-Holland 1963, p. 487\u2013492"},{"key":"22_CR111","first-page":"176","volume":"1","author":"K. Samelson","year":"1959","unstructured":"Samelson, K., Bauer, F. L.: Sequentielle Formel\u00fcbersetzung. Elektron. Rechenanlagen 1, 176\u2013182 (1959)","journal-title":"Elektron. Rechenanlagen"},{"key":"22_CR112","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/366959.366968","volume":"3","author":"K. Samelson","year":"1960","unstructured":"Samelson, K., Bauer, F. L.: Sequential formula translation. Comm. ACM 3, 76\u201383 (1960)","journal-title":"Comm. ACM"},{"key":"22_CR113","first-page":"207","volume-title":"The ALCOR project","author":"K. Samelson","year":"1962","unstructured":"Samelson, K., Bauer, F. L.: The ALCOR project. Proc. Symp. Symbolic Languages in Data Processing, Rome, 1962. New York \u2014 London: Gordon and Breach 1962, p. 207\u2013217"},{"key":"22_CR114","unstructured":"Schorre, D. V.: A syntax oriented compiler writing language. Proc. 19th ACM Conf. 1964, Philadelphia, D1.3-1\u2013D1.3-11"},{"key":"22_CR115","unstructured":"Schr\u00f6ter, K.: Axiomatisierung der Frege'schen Aussagenkalk\u00fcle. Forschungen zur Logik und zur Gundlegung der exakten Wissenschaften. Neue Serie Bd. 8, Leipzig 1943"},{"key":"22_CR116","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1016\/S0019-9958(63)90306-1","volume":"6","author":"M. P. Sch\u00fctzenberger","year":"1963","unstructured":"Sch\u00fctzenberger, M. P.: On context-free languages and pushdown automata. Information and Control 6, 246\u2013264 (1963)","journal-title":"Information and Control"},{"key":"22_CR117","first-page":"2.165","volume-title":"Handbook of Automation, Computation and Control Vol. 2","author":"Share Assembly Program (SAP)","year":"1959","unstructured":"Share Assembly Program (SAP). In: Grappe, E. M. et al. (eds.): Handbook of Automation, Computation and Control Vol. 2. New York: John Wiley and Sons 1959, p. 2.165\u20132.167"},{"issue":"3","key":"22_CR118","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/368280.368289","volume":"2","author":"P. B. Sheridan","year":"1959","unstructured":"Sheridan, P. B.: The arithmetic translator-compiler of the IBM FORTRAN automatic coding system. Comm. ACM 2:3, 9\u201321 (1959)","journal-title":"Comm. ACM"},{"key":"22_CR119","first-page":"90","volume-title":"Engineering experience with the SEAC. Proc.AFIPS 1951 EJCC 1","author":"R. J. Slutz","year":"1951","unstructured":"Slutz, R. J.: Engineering experience with the SEAC. Proc.AFIPS 1951 EJCC 1. New York: Amer. Inst. Electr. Engineers 1951, p. 90\u201393"},{"key":"22_CR120","unstructured":"UNIVAC Generalized Programming. Remington Rand Univac Div. of Sperry Rand Corp., New York 1957"},{"key":"22_CR121","unstructured":"UNIVAC Math-Matic Programming System. Remington Rand Univac Div. of Sperry Rand Corp., New York 1958"},{"key":"22_CR122","unstructured":"Waldburger, H.: Gebrauchsanweisung f\u00fcr die ERMETH. Institut f\u00fcr Angew. Math. an der ETH Z\u00fcrich, 1958"},{"key":"22_CR123","first-page":"295","volume-title":"A syntax-directed generator. Proc. AFIPS 1961 EJCC 20","author":"S. Warshall","year":"1961","unstructured":"Warshall, S.: A syntax-directed generator. Proc. AFIPS 1961 EJCC 20. Baltimore (Md.): Spartan 1961, p. 295\u2013305"},{"key":"22_CR124","first-page":"59","volume-title":"A general table-driven compiler. Proc. AFIPS 1964 SJCC 25","author":"S. Warshall","year":"1964","unstructured":"Warshall, S., Shapiro, R. M.: A general table-driven compiler. Proc. AFIPS 1964 SJCC 25. Washington (D.C.): Spartan 1964, p. 59\u201365"},{"key":"22_CR125","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/366792.366821","volume":"5","author":"J. B. Watt","year":"1962","unstructured":"Watt, J. B., Wattenburg, W. H.: A NELIAC-generated 7090-1401 compiler. Comm. ACM 5, 101\u2013102 (1962)","journal-title":"Comm. ACM"},{"issue":"3","key":"22_CR126","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/368300.368318","volume":"2","author":"J. H. Wegstein","year":"1959","unstructured":"Wegstein, J. H.: From formulas to computer oriented language. Comm.ACM 2:3, 6\u20138 (1959)","journal-title":"Comm.ACM"},{"key":"22_CR127","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/410382","volume":"23","author":"R. Wells","year":"1947","unstructured":"Wells, R.: Immediate constituents. Language 23, 81\u2013117 (1947)","journal-title":"Language"},{"key":"22_CR128","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1017\/S0305004100028073","volume":"49","author":"M. V. Wilkes","year":"1953","unstructured":"Wilkes, M. V.: The use of a floating address system for orders in an automatic digital computer. Proc. Cambridge Philos. Soc. 49, 84\u201389 (1953)","journal-title":"Proc. Cambridge Philos. Soc."},{"key":"22_CR129","volume-title":"The preparation of programs for an electronic digital computer","author":"M. V. Wilkes","year":"1957","unstructured":"Wilkes, M. V. et al.: The preparation of programs for an electronic digital computer. Cambridge (Mass.): Addison-Wesley 1951 (1957)"},{"key":"22_CR130","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/365153.365162","volume":"9","author":"N. Wirth","year":"1966","unstructured":"Wirth, N., Weber, H.: EULER: A generalization of ALGOL and its formal definition, Part I. Comm. ACM 9, 13\u201325 (1966)","journal-title":"Comm. ACM"},{"issue":"6","key":"22_CR131","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/BF02038459","volume":"1","author":"K. Zuse","year":"1948","unstructured":"Zuse, K.: \u00dcber den allgemeinen Plankalk\u00fcl als Mittel zur Formalisierung schematisch-kombinatorischer Aufgaben. Archiv der Math. 1:6, 441\u2013449 (1948\/49)","journal-title":"Archiv der Math."},{"issue":"2","key":"22_CR132","first-page":"68","volume":"1","author":"K. Zuse","year":"1959","unstructured":"Zuse, K.: \u00dcber den Plankalk\u00fcl. Elektron. Rechenanlagen 1:2, 68\u201371 (1959)","journal-title":"Elektron. Rechenanlagen"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/3540069585_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:21:30Z","timestamp":1549171290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540069585_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540069584","9783540372639"],"references-count":132,"URL":"https:\/\/doi.org\/10.1007\/3540069585_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1974]]}}}