{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:35:51Z","timestamp":1743050151310,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642639708"},{"type":"electronic","value":"9783642594120"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-3-642-59412-0_3","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T06:41:04Z","timestamp":1319784064000},"page":"26-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From the Stack Principle to ALGOL"],"prefix":"10.1007","author":[{"given":"Friedrich L.","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,21]]},"reference":[{"key":"3_CR1","first-page":"31","volume":"23","author":"J Lukasiewicz","year":"1930","unstructured":"J. Lukasiewicz, A. Tarski: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. C. R. S\u00e9ances Soc. Sei. Lett. Varsovie, CI. III,23 (1930) 31\u201332","journal-title":"C. R. S\u00e9ances Soc. Sei. Lett."},{"key":"3_CR2","volume-title":"Ergebnisse eines mathematischen Kolloquiums","author":"K Menger","year":"1935","unstructured":"K. Menger: Eine elementare Bemerkung \u00fcber die Struktur logischer Formeln. In: K. Menger: Ergebnisse eines mathematischen Kolloquiums3, Deuticke, Leipzig (1935)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"K. Schr\u00f6ter: Axiomatisierung der Frege\u2019schen Aussagekalk\u00fcle. In: Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, N. F. 8; J. Symb. Logic9 (1943) 69","DOI":"10.2307\/2267888"},{"issue":"\/49","key":"3_CR4","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/BF02038459","volume":"1","author":"K. Zuse","year":"1948","unstructured":"K. Zuse: \u00dcber den Allgemeinen Plankalk\u00fcl als Mittel zur Formulierung schematisch-kombinativer Aufgaben. Arch. Math. 1 (1948\/49) 441\u2013449.","journal-title":"Arch. Math."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1090\/S0002-9904-1948-09083-8","volume":"54","author":"DC Gerneth","year":"1948","unstructured":"D. C. Gerneth: Generalization of Menger\u2019s result on the structure of logical formulas. Bulletin of the American Mathematical Society54 (1948) 803\u2013804; J. Symb. Logic13 (1948) 224","journal-title":"Bulletin of the American Mathematical Society"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1002\/j.1538-7305.1949.tb03624.x","volume":"28","author":"CE Shannon","year":"1949","unstructured":"C. E. Shannon: The synthesis of two-terminal switching circuits. Bell Syst. Tech. J. 28 (1949) 59\u201388","journal-title":"Bell Syst. Tech. J."},{"key":"3_CR7","volume-title":"The Elements of Mathematical Logic","author":"PC Rosenbloom","year":"1950","unstructured":"P. C. Rosenbloom: The Elements of Mathematical Logic. Dover, New York (1950)"},{"key":"3_CR8","first-page":"64","volume":"14","author":"FL Bauer","year":"1960","unstructured":"F. L. Bauer: The Formula-Controlled Logical Computer \u201cStanislaus\u201d. Math. Tabl. Aids Comp. 14 (1960) 64\u201367","journal-title":"Math. Tabl. Aids Comp."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1002\/zamm.19510310820","volume":"31","author":"H Rutishauser","year":"1951","unstructured":"H. Rutishauser: \u00dcber automatische Rechenplanfertigung bei programmgesteuerten Rechenanlagen. Z. Angew. Math. Mech. 31 (1951) 255","journal-title":"Z. Angew. Math. Mech."},{"key":"3_CR10","first-page":"312","volume":"32","author":"H Rutishauser","year":"1952","unstructured":"H. Rutishauser: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. Z. Angew. Math. Mech. 32 (1952) 312\u2013313; Mitt. Inst. f. Angew. Math, der ETH Z\u00fcrich, Nr. 3, 1952","journal-title":"Z. Angew. Math. Mech."},{"key":"3_CR11","first-page":"5","volume":"37","author":"C Boehm","year":"1954","unstructured":"C. Boehm: Calculatrices digitales. Du d\u00e9chiffrage de formules logico-math\u00e9matiques par la machine m\u00eame dans la conception du programme. Dissertation Z\u00fcrich (1952); Ann. Matematica Pura Appl. Ser. 4,37 (1954) 5\u201347","journal-title":"Ann. Matematica Pura Appl. Ser."},{"key":"3_CR12","unstructured":"A. J. Perlis, J. W. Smith, H. R. van Zooren: Internal Translator (IT), a Compiler for the 650. Lincoln Lab. Div. 6, Document 6D-327 (1956)"},{"key":"3_CR13","first-page":"61","volume-title":"Internationales Kolloquium \u00fcber Probleme der Rechentechnik Dresden","author":"K Samelson","year":"1955","unstructured":"K. Samelson: Probleme der Programmierungstechnik. Internationales Kolloquium \u00fcber Probleme der Rechentechnik Dresden 1955. Berlin (1957) 61\u201368"},{"key":"3_CR14","unstructured":"Deutsches Patentamt, Auslegeschrift 1 094 019, B44122IX\/42m. Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschine zur Aus\u00fcbung des Verfahrens. Anmeldetag: 30. M\u00e4rz 1957. Bekanntmachung der Anmeldung und Ausgabe der Auslegeschrift: 1. Dezember 1960."},{"key":"3_CR15","unstructured":"Dr. Friedrich Ludwig Bauer und Dr. Klaus Samelson, M\u00fcnchen, sind als Erfinder genannt worden. Erteilt 12.8.1971, DE-PS 1 094 019"},{"key":"3_CR16","unstructured":"United States Patent Office. Patent No. 3,047,228, Patented July 31, 1962. Friedrich Ludwig Bauer and Klaus Samelson: Automatic Computing Machines and Method of Operation. Filed March 28, 1958, Ser. No. 724,770"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1002\/malq.19580041205","volume":"4","author":"H Bottenbruch","year":"1958","unstructured":"H. Bottenbruch: \u00dcbersetzung von algorithmischen Formelsprachen in die Programmiersprachen von Rechenmaschinen. Z. Math. Logik Gr\u00fcndl. Math. 4 (1958) 180\u2013221","journal-title":"Z. Math. Logik Gr\u00fcndl. Math."},{"key":"3_CR18","first-page":"355","volume-title":"Summer School","author":"FL Bauer","year":"1958","unstructured":"F. L. Bauer, H. Bottenbruch, H. Rutishauser, K. Samelson: Proposal for a universal language for the description of computing processes. In: Carr, J. W. (ed.), Summer School 1958. University of Michigan (1958) 355\u2013373"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/368280.368289","volume":"2","author":"PB Sheridan","year":"1959","unstructured":"P. B. Sheridan: The arithmetic translator-compiler of the IBM Fortran automatic coding system. Commun. ACM2,2 (1959) 9\u201321","journal-title":"Commun. ACM"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"A. J. Perlis, K. Samelson (eds.): Report on the algorithmic language ALGOL by the ACM committee on programming languages and the GAMM committee on programming. Num. Math. 1 (1959)41\u201360","DOI":"10.1007\/BF01386372"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"A. J. Perlis, K. Samelson (eds.): Preliminary report\u2014international algebraic language. Commun. ACM1 (1959) 8\u201322","DOI":"10.1145\/377924.594925"},{"key":"3_CR22","first-page":"176","volume":"1","author":"K Samelson","year":"1959","unstructured":"K. Samelson, F. L. Bauer: Sequentielle Formel\u00fcbersetzung. Elektron. Rechenanlagen1 (1959) 176\u2013182","journal-title":"Elektron. Rechenanlagen"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/366959.366968","volume":"3","author":"K Samelson","year":"1960","unstructured":"K. Samelson, F. L. Bauer: Sequential formula translation. Commun. ACM3 (1960) 76\u201383","journal-title":"Commun. ACM"},{"key":"3_CR24","first-page":"154","volume-title":"The cellar principle for formula translation","author":"FL Bauer","year":"1960","unstructured":"F. L. Bauer, K. Samelson: The cellar principle for formula translation. In: Proceedings International Conference on Information Processing, UNESCO Paris 1959. Oldenburg, M\u00fcnchen (1960) 154\u2013155"},{"key":"3_CR25","first-page":"120","volume-title":"Proceedings International Conference on Information Processing, UNESCO Paris","author":"FL Bauer","year":"1960","unstructured":"F. L. Bauer, K. Samelson: The problem of a common language. In: Proceedings International Conference on Information Processing, UNESCO Paris 1959. Oldenburg, M\u00fcnchen (1960) 120\u2013125"},{"key":"3_CR26","first-page":"125","volume-title":"Proceedings International Conference on Information Processing, UNESCO Paris","author":"JW Backus","year":"1960","unstructured":"J. W. Backus: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In: Proceedings International Conference on Information Processing, UNESCO Paris 1959. Oldenburg, M\u00fcnchen (1960) 125\u2013132"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"J.W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (ed.), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger: Report on the algorithmic language ALGOL 60. Num. Math. 2 (1960) 106\u2013136","DOI":"10.1007\/BF01386216"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/367236.367262","volume":"3","author":"J. W. Backus","year":"1960","unstructured":"J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (ed.), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauqois, J. H. Wegstein, A. van Wijngaarden, M. Woodger: Report on the algorithmic language ALGOL 60. Commun. ACM3 (1960) 299\u2013314","journal-title":"Commun. ACM"},{"key":"3_CR29","first-page":"227","volume-title":"Digitale Informationswandler. Probleme der Informationsverarbeitung in ausgew\u00e4hlten Beitr\u00e4gen","author":"FL Bauer","year":"1962","unstructured":"F. L. Bauer, K. Samelson: Maschinelle Verarbeitung von Programmiersprachen. In: W. Hoffmann (ed.), Digitale Informationswandler. Probleme der Informationsverarbeitung in ausgew\u00e4hlten Beitr\u00e4gen. Vieweg, Braunschweig (1962) 227\u2013268"},{"key":"3_CR30","first-page":"51","volume":"2","author":"R Baumann","year":"1961","unstructured":"R. Baumann, M. Paul: Praktische Erfahrungen im ALCOL-Betrieb. Elektron. Datenverarbeitung, Beiheft 2 (1961) 51\u201356","journal-title":"Elektron. Datenverarbeitung, Beiheft"},{"key":"3_CR31","first-page":"207","volume-title":"Symbolic Languagesin Data Processing","author":"K Samelson","year":"1962","unstructured":"K. Samelson, F. L. Bauer: The ALCOR project. In: Symbolic Languages in Data Processing, Proceedings of the Symposium, organized and edited by the International Computation Centre Rome, March 26\u201331, 1962. Gordon and Breach, New York (1962) 207\u2013217"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/BF01386340","volume":"4","author":"JW Backus","year":"1963","unstructured":"J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauqois, J. H. Wegstein, A. van Wijngaarden, M. Woodger: Revised report on the algorithmic language ALGOL 60. Num. Math. 4 (1963) 420\u2013453","journal-title":"Num. Math."},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"JW Backus","year":"1963","unstructured":"J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauqois, J. H. Wegstein, A. van Wijngaarden, M. Woodger: Revised report on the algorithmic language ALGOL 60. Commun. ACM6 (1963) 1\u201317","journal-title":"Commun. ACM"},{"key":"3_CR34","first-page":"266","volume-title":"Formal language description languages for computer programming","author":"PJ Landin","year":"1966","unstructured":"P. J. Landin: A formal description of ALGOL 60. In: T. B. Steel, Jr. (ed.), Formal language description languages for computer programming, Proceedings of the IFlP Working Conference on Formal Language Description Languages, Vienna September 15\u201318, 1964. Amsterdam (1966) 266\u2013294"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MAHC.1990.10004","volume":"12","author":"FL Bauer","year":"1990","unstructured":"F. L. Bauer: The cellar principle of state transition and storage allocation. Ann. Hist. Comput. 12 (1990) 41\u201349","journal-title":"Ann. Hist. Comput."},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/366062.366074","volume":"4","author":"AA Grau","year":"1961","unstructured":"A. A. Grau: Recursive processes and ALGOL translation. Commun. ACM4 (1961) 10\u201315","journal-title":"Commun. ACM"},{"key":"3_CR37","volume-title":"Interner Bericht Mail\u00fcfterl Wien","author":"P Lucas","year":"1961","unstructured":"P. Lucas: Die Strukturanalyse von Formel\u00fcbersetzern. Interner Bericht Mail\u00fcfterl Wien (1961)"},{"key":"3_CR38","volume-title":"Dissertation Mainz","author":"M Paul","year":"1962","unstructured":"M. Paul: Zur Struktur formaler Sprachen. Dissertation Mainz (1962)"},{"key":"3_CR39","first-page":"65","volume-title":"Symbolic Languages in Data Processing","author":"M Paul","year":"1962","unstructured":"M. Paul: A general processor for certain formal languages. In: Symbolic Languages in Data Processing, Proceedings of the Symposium, organized and edited by the International Computation Centre Rome, March 26\u201331, 1962. Gordon and Breach, New York (1962) 65\u201374"},{"key":"3_CR40","volume-title":"Bericht \u00fcber ein Programm zur \u00dcbersetzung Boolescher Ausdr\u00fccke in disjunktive Normalform. Colloquium \u00fcber Schaltkreis- und Schaltwerk-Theorie","author":"P Deussen","year":"1961","unstructured":"P. Deussen: Bericht \u00fcber ein Programm zur \u00dcbersetzung Boolescher Ausdr\u00fccke in disjunktive Normalform. Colloquium \u00fcber Schaltkreis- und Schaltwerk-Theorie. Birkh\u00e4user, Basel (1961)"},{"key":"3_CR41","volume-title":"Dissertation Mainz","author":"W Petry","year":"1962","unstructured":"W. Petry: \u00dcbersetzung formaler Sprachen in topologische Strukturen. Dissertation Mainz (1962)"},{"key":"3_CR42","first-page":"135","volume":"20","author":"CL Hamblin","year":"1957","unstructured":"Charles L. Hamblin: Computer languages. Austral. J. Sci. 20 (1957) 135","journal-title":"Austral. J. Sci."},{"key":"3_CR43","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.1977.315873","volume":"10","author":"FG Duncan","year":"1977","unstructured":"F. G. Duncan: Stack machine development: Australia, Great Britain, and Europe. Computer 10 (1977) 50\u201352","journal-title":"Computer"},{"key":"3_CR44","first-page":"52","volume-title":"Formal Language Description Languages for Computer Programming","author":"J Eickel","year":"1966","unstructured":"J. Eickel, M. Paul: The parsing and ambiguity problem for Chomsky languages. In: T. B. Steel, Jr. (ed.), Formal Language Description Languages for Computer Programming, Proceedings of the IFlP Working Conference on Formal Language Description Languages, Vienna, September 15\u201318, 1964. Amsterdam (1966) 52\u201375"}],"container-title":["Software Pioneers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-59412-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,28]],"date-time":"2021-05-28T07:11:31Z","timestamp":1622185891000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-59412-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783642639708","9783642594120"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-59412-0_3","relation":{},"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}