{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:29Z","timestamp":1725663149940},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540079941"},{"type":"electronic","value":"9783540379720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07994-7_53","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:16:06Z","timestamp":1330186566000},"page":"153-182","source":"Crossref","is-referenced-by-count":14,"title":["Programming as an evolutionary process"],"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,21]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"W.L. van der Poel Micro-programming and Trickology. In: Digitale Informationswandler. Braunschweig 1962","DOI":"10.1007\/978-3-322-96260-7_7"},{"key":"8_CR2","unstructured":"J.J. Horning, B. Randell Structuring Complex Processes. Marktoberdorf Summer School 1970"},{"key":"8_CR3","unstructured":"O.-J. Dahl Hierarchical Program Structures. Marktoberdorf Summer School 1970"},{"key":"8_CR4","unstructured":"C.A.R. Hoare Data Structures. Marktoberdorf Summer School 1970"},{"key":"8_CR5","unstructured":"R. Bayer On the Structure of Data and Application Programs. Marktoberdorf Summer School 1971"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"A. Wang, O.-J. Dahl Coroutine Sequencing in a Block Structured Environment. Marktoberdorf Summer School 1971","DOI":"10.1007\/BF01939412"},{"key":"8_CR7","unstructured":"C.A.R. Hoare Program Proving. Marktoberdorf Summer School 1971"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra Hierarchical Ordering of Sequential Processes. Marktoberdorf Summer School 1971","DOI":"10.1007\/978-1-4757-3472-0_5"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"P. Brinch Hansen Concurrent Programming Concepts. Marktoberdorf Summer School 1973","DOI":"10.1145\/356622.356624"},{"key":"8_CR10","unstructured":"R. Gnatz Sets and Predicates in Programming Languages. Marktoberdorf Summer School 1973"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, N. Wirth An Axiomatic Definition of the Programming Language PASCAL. Marktoberdorf Summer School 1973","DOI":"10.1007\/BF00289504"},{"key":"8_CR12","unstructured":"W.M. Turski Morphology of Data. Marktoberdorf Summer School 1973"},{"key":"8_CR13","unstructured":"E.W. Dijkstra A Simple Axiomatic Basis for Programming Language Constructs. Marktoberdorf Summer School 1973"},{"key":"8_CR14","unstructured":"K. Zuse Der Plankalk\u00fcl. Ver\u00f6ffentlicht durch Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bericht Nr. 63, Bonn 1972"},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/BF01565439","volume":"112","author":"S. C. Kleene","year":"1936","unstructured":"S.C. Kleene General Recursive Functions of Natural Numbers. Math. Ann. 112, 727\u2013742 (1936)","journal-title":"Math. Ann."},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16","author":"Z. Manna","year":"1973","unstructured":"Z. Manna, S. Ness, J. Vuillemin Inductive Methods for Proving Properties of Programs. Comm. ACM 16, 491\u2013502 (1973)","journal-title":"Comm. ACM"},{"key":"8_CR17","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","volume":"9","author":"D. C. Cooper","year":"1966","unstructured":"D.C. Cooper The Equivalence of Certain Computations. Comp. J. 9, 45\u201352 (1966)","journal-title":"Comp. J."},{"key":"8_CR18","unstructured":"J. Darlington, R.M. Burstall A System which Automatically Improves Programs. Proc. Third Internat. Conf. on Artif. Intell., Stanford 1973, 479\u2013485"},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/362588.362598","volume":"14","author":"J. H. Morris","year":"1971","unstructured":"J.H. Morris Another Recursive Induction Principle. Comm. ACM 14, 351\u2013354 (1971)","journal-title":"Comm. ACM"},{"key":"8_CR20","first-page":"254","volume":"5","author":"H. R. Strong","year":"1971","unstructured":"H.R. Strong Translating Recursive Equations into Flow Charts. In: Proc. 2nd Annual ACM Symposium on Theory of Computing, New York 1970, 184\u2013197. Also J. CSS 5, 254\u2013285 (1971)","journal-title":"Also J. CSS"},{"key":"8_CR21","unstructured":"H. Kr\u00f6ger Bemerkungen zur Aufl\u00f6sung von Rekursionen. In: Seminar \u00fcber Methodik des Programmierens, TU M\u00fcnchen, Interner Bericht, 1974, 45\u201362"},{"key":"8_CR22","unstructured":"F.L. Bauer Variables Considered Harmful. Appendix to A Philosophy of Programming. TUM Report 7513, 1975 (and in this volume)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"R.W. Floyd Assigning Meanings to Programs. In: Schwartz, J.T. (ed.): Mathematical Aspects of Computer Science. Proc. Symposia in Applied Mathematics 19. Providence (R.I.): Amer. Math. Soc. 1967, 19\u201332","DOI":"10.1090\/psapm\/019"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E. W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra A Constructive Approach to the Problem of Program Correctness. BIT 8. 174\u2013186 (1968)","journal-title":"BIT"},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF01946816","volume":"9","author":"P. Naur","year":"1969","unstructured":"P. Naur Programming by Action Clusters. BIT 9, 250\u2013258 (1969)","journal-title":"BIT"},{"key":"8_CR26","volume-title":"A Program Verifier","author":"J. C. King","year":"1969","unstructured":"J.C. King A Program Verifier. Ph.D. Thesis, Carnegie-Mellon University, Pittsb. (Pa.), 1969"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"F.L. Bauer (ed.) Software Engineering \u2014 An Advanced Course. Lecture Notes in Computer Science 30, Springer 1975","DOI":"10.1007\/3-540-07168-7"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"F.L. Bauer, G. Goos Informatik \u2014 Eine einf\u00fchrende \u00dcbersicht. 2 Vols. (2nd ed.) Springer 1973, 1974","DOI":"10.1007\/978-3-642-96224-0"},{"key":"8_CR29","unstructured":"F.L. Bauer A Unified, Conceptual Basis of Programming. In: A Philosophy of Programming (London Lectures 1973) TUM Report 7513, 1975 (and in this volume)"},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. J. Landin","year":"1966","unstructured":"P.J. Landin The Next 700 Programming Languages. Comm. ACM 9, 157\u2013164 (1966)","journal-title":"Comm. ACM"},{"key":"8_CR31","unstructured":"F.L. Bauer System Uniformity of Software and Hardware. In: A Philosophy of Programming (London Lectures 1973) TUM Report 7513, 1975"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C.A.R. Hoare An Axiomatic Basis for Computer Programming. Comm. ACM 12, 576\u2013580, 583 (1969)","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Language Hierarchies and Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07994-7_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T00:46:57Z","timestamp":1640911617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07994-7_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540079941","9783540379720"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-07994-7_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}