{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:02:06Z","timestamp":1725624126637},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540090380"},{"type":"electronic","value":"9783642670916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-3-642-67091-6_6","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T14:36:38Z","timestamp":1319207798000},"page":"132-148","source":"Crossref","is-referenced-by-count":0,"title":["Entwicklungslinien in der Informatik"],"prefix":"10.1007","author":[{"given":"K.","family":"Samelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"223","volume-title":"Proc. 2nd Int. Conf. on Software Reliability","author":"FL Bauer","year":"1976","unstructured":"Bauer, F. L.: Programming as an Evolutionary Process. In: Proc. 2nd Int. Conf. on Software Reliability, pp. 223\u2013234. San Francisco 1976"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00263742","volume":"6","author":"J Darlington","year":"1976","unstructured":"Darlington, J., Burstall, R. M.: A System which Automatically Improves Programs. Acta Informat. 6, 41\u201360 (1976)","journal-title":"Acta Informat."},{"key":"6_CR3","first-page":"1","volume-title":"Structured Programming","author":"E Dijkstra","year":"1972","unstructured":"Dijkstra, E.: Notes on Structured Programming. In: Structured Programming (O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare, eds.) pp. 1\u201382. New York: Academic Press 1972"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E Dijkstra","year":"1975","unstructured":"Dijkstra, E.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453\u2013457 (1975)","journal-title":"Comm. ACM"},{"key":"6_CR5","series-title":"Proc. Symp. Appl. Math.","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume-title":"Mathematical Aspects of Computer Science","author":"RW Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning Meaning to Programs. In: Mathematical Aspects of Computer Science, Proc. Symp. Appl. Math. Vol. XIX (J. T. Schwartz, ed.) pp. 19\u201332, Providence: AMS 1967"},{"key":"6_CR6","series-title":"TU Berlin, Fachber. 20 \u2014 Informatik, Bericht","volume-title":"STARLET, die Realisierung einer Datenstruktur-Architektur","author":"WK Giloi","year":"1978","unstructured":"Giloi, W. K.: STARLET, die Realisierung einer Datenstruktur-Architektur. TU Berlin, Fachber. 20 \u2014 Informatik, Bericht 78\u201309, M\u00e4rz 1978"},{"key":"6_CR7","first-page":"8","volume-title":"Collected Works of John v. Neumann","author":"HH Goldstine","year":"1963","unstructured":"Goldstine, H. H., v. Neumann, J.: Planning and Coding Problems for an Electronic Computing Instrument. In: Collected Works of John v. Neumann (A. H. Traub, ed.) pp. 8\u2013235. London: Pergamon Press 1963"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R.: An Axiomatic Basis for Computer Programming. Comm. ACM 12, 576\u2013581 (1969)","journal-title":"Comm. ACM"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"CAR Hoare","year":"1973","unstructured":"Hoare, C. A. R., Wirth, N.: An Axiomatic Definition of the Programming Language Pascal. Acta Informat. 2, 335\u2013355 (1973)","journal-title":"Acta Informat."},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of Context-free Languages. Math. Syst. Theory 2, 127\u2013145 (1968)","journal-title":"Math. Syst. Theory"},{"key":"6_CR11","series-title":"Inst. f. Informatik, Bericht","volume-title":"Das Projekt Betriebssystem BSM","year":"1975","unstructured":"Lagally, K. (Hrsgb.): Das Projekt Betriebssystem BSM. TU M\u00fcnchen, Inst. f. Informatik, Bericht Nr. 7509, Mai 1975"},{"key":"6_CR12","unstructured":"Lucas, P., et al.: Formal Definition of PL\/I. IBM Lab. Vienna, Techn. Rep. TR 25.071"},{"key":"6_CR13","volume-title":"A Theory of Programming Language Semantic","author":"R Milne","year":"1976","unstructured":"Milne, R., Strachey, Ch.: A Theory of Programming Language Semantic. London: Chapman and Hall 1976"},{"key":"6_CR14","series-title":"Mitteilg. a.d. Inst. f. Angew. Math, der ETH Z\u00fcrich","volume-title":"Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen","author":"H Rutishauser","year":"1952","unstructured":"Rutishauser, H.: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. Mitteilg. a.d. Inst. f. Angew. Math, der ETH Z\u00fcrich Nr. 3. Basel: Birkh\u00e4user 1952"},{"key":"6_CR15","series-title":"Proc. IFIP Congr.","first-page":"487","volume-title":"Information Processing 1962","author":"K Samelson","year":"1963","unstructured":"Samelson, K.: Programming Languages and their Processing. In: Information Processing 1962, Proc. IFIP Congr. 62 (C. M. Popplewell, ed.) pp. 487\u2013492. Amsterdam: North-Holland 1963"},{"key":"6_CR16","series-title":"MRI Symp. Ser.","volume-title":"Proc. Symp. Computers and Automata","author":"D Scott","year":"1972","unstructured":"Scott, D., and Strachey, Ch.: Toward a Mathematical Semantics for Computer Languages. In: Proc. Symp. Computers and Automata, MRI Symp. Ser. Vol.21. Brooklyn, N.Y.: Polytechnic Inst. 1972"},{"key":"6_CR17","series-title":"Lect. Notes Comp. Sci.","first-page":"257","volume-title":"GI-4. Jahrestagung","author":"R Wilhelm","year":"1974","unstructured":"Wilhelm, R.: Codeoptimierung mittels attributierter Transformationsgrammatiken. In: GI-4. Jahrestagung, Lect. Notes Comp. Sci., Vol. 26, pp. 257\u2013266. Heidelberg: Springer 1974."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: The Programming Language Pascal. Acta Informat. 1, 35\u201363 (1971)","journal-title":"Acta Informat."},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00265077","volume":"5","author":"A Wijngaarden v.","year":"1975","unstructured":"v. Wijngaarden, A., et al.: Revised Report on the Algorithmic Language ALGOL 68. Acta Informat. 5, 1\u2013236 (1975)","journal-title":"Acta Informat."}],"container-title":["Informatik-Fachberichte","GI \u2014 8. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67091-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:54:17Z","timestamp":1606254857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67091-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540090380","9783642670916"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67091-6_6","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1978]]}}}