{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:03:37Z","timestamp":1725631417605},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127345"},{"type":"electronic","value":"9783642692987"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69298-7_4","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T12:50:24Z","timestamp":1320756624000},"page":"24-40","source":"Crossref","is-referenced-by-count":0,"title":["Funktionales Programmieren Programmieren mit Funktionalen"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"4_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"J.Backus: Can Programing be Liberated from the von Neumann Style; A Functional Style and its Algebra of Programs. Comm. ACM 21: 8, August 1978, 613\u2013641","journal-title":"Comm. ACM"},{"key":"4_CR2","unstructured":"Bauer, E.L., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hesse, W., Krieg-Bruckner, B., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H.: Report on a wide spectrum language for program specification and development. Institut f\u00fcr Informatik der TU M\u00fcnchen, TUM-18104, 1981"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05656-1","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"FL Bauer","year":"1981","unstructured":"F. L. Bauer, H. W\u00f6ssner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"K. Berkling: Reduction machines for reduction languages. Proc. Second Int. Symp. Computer Architecture, 1975, 133\u2013140","DOI":"10.1145\/642089.642112"},{"key":"4_CR5","first-page":"125","volume-title":"IFIP TC2 Working Conference on \u201cFormal Description of Programming Concepts II\u201d, Garmisch-Partenkirchen, June 1982","author":"M Broy","year":"1983","unstructured":"M. Broy: Fixed Point Theory for Communication and Concurrency. In: D. Bj\u00f6rner (ed): IFIP TC2 Working Conference on \u201cFormal Description of Programming Concepts II\u201d, Garmisch-Partenkirchen, June 1982, Amsterdam-New York-Oxford: North-Holland Publishing Company 1983, 125\u2013147"},{"key":"4_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-7893-5","volume-title":"Theoretical Foundations of Programming Methodology","author":"M Broy","year":"1982","unstructured":"M. Broy, G. Schmidt: Theoretical Foundations of Programming Methodology. Dortrecht: Reidel 1982"},{"key":"4_CR7","volume-title":"Annals of Mathematics Studies","author":"A Church","year":"1941","unstructured":"A. Church: The Calculi of Lambda-Conversion. Annals of Mathematics Studies, Vol. 6, Princeton: Princeton University Press 1941"},{"key":"4_CR8","first-page":"362","volume-title":"Colleque sur la Programmation, Lecture Notes in Computer Science","author":"JB Dennis","year":"1974","unstructured":"J.B. Dennis: First Version of a Data Flow Procedure Language. In: B. Robinet (ed.): Colleque sur la Programmation, Lecture Notes in Computer Science 19, Berlin-Heidelberg-New York: Springer 1974, 362\u2013367"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"\/DIJKSTRA 82\/ E.W. Dijkstra: Lambek and Moser revisited. In: [Broy, Schmidt 82], 19\u201322","DOI":"10.1007\/978-94-009-7893-5_2"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"AP Ershov","year":"1982","unstructured":"A.P. Ershov: Mixed Computation: Potential Applications and Problems for Study. Theoretical Computer Sciene 18, 1982, 41\u201367","journal-title":"Theoretical Computer Sciene"},{"key":"4_CR11","unstructured":"A. Goldberg, A. Kay (eds.): SMALLTALK-72 instruction manual. Palo Alto Research Center SSL 76\u20136, March 1976"},{"key":"4_CR12","unstructured":"J.V. Guttag: The Specification and Application of Programming of Abstract Data Types. Ph. D. Th., Univ. of Toronto, Dept. of Comp. Sci., Rep. CSRG-59, 1975"},{"key":"4_CR13","volume-title":"Functional Programming","author":"P Henderson","year":"1980","unstructured":"P. Henderson: Functional Programming. Englewood Cliffs: Prentice Hall 1980"},{"key":"4_CR14","unstructured":"Preliminery report on study and research on fifth-generation-computers. Japan, October 1981"},{"key":"4_CR15","first-page":"471","volume-title":"Information Processing 74, Proc. of the IFIP Congress","author":"G Kahn","year":"1974","unstructured":"G. Kahn: The Semantics of a Simple Language for Parallel Processing. In: J.L. Rosenfeld (ed.): Information Processing 74, Proc. of the IFIP Congress 74, Amsterdam: North-Holland 1974, 471\u2013475"},{"key":"4_CR16","volume-title":"Logic for Problem Solving","author":"R Kowalski","year":"1979","unstructured":"R. Kowalski: Logic for Problem Solving. New York: North Holland Publishing 1979"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M Sch\u00f3nfinkel","year":"1924","unstructured":"M. Sch\u00f3nfinkel: \u00dcber die Bausteine Math. Logik. Math. Annalen 92, 1924, 305\u2013316","journal-title":"Math. Logik. Math. Annalen"},{"key":"4_CR18","unstructured":"D. Scott: Outline of a Mathematical Theory of Computation. Proc. 4th Annal Princeton Conference on Information Sciencesamd Systems. 1970, 169\u2013176"},{"key":"4_CR19","volume-title":"of the Symposium on Computers and Automata","author":"DS Scott","year":"1971","unstructured":"D.S. Scott, C. Strachey: Toward a Mathematical Semantics for Computer Languages. In: J. Fox (ed.):Proceedings of the Symposium on Computers and Automata, Polytechnic Institute of Brooklyn Press, New York 1971"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"P.C. Treleaven, D.R. Brownbridge, R.P. Hopkins: Data Driven and Demand Driven Computer Architecture. University of Newcastle upon Tyne, Technical Report Series 168, June 1981. Auch in: Computing Surveys, 14:1, March 1982, 93\u2013143","DOI":"10.1145\/356869.356873"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"DA Turner","year":"1979","unstructured":"D.A. Turner: A New Implementation Technique for Applicative Languages. Software-Practice and Experience 9, 1979, 31\u201349","journal-title":"Software-Practice and Experience"}],"container-title":["Informatik-Fachberichte","GI - 13. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69298-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:27:07Z","timestamp":1606238827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69298-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127345","9783642692987"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69298-7_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}