{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:03:30Z","timestamp":1725631410636},"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_6","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T17:50:24Z","timestamp":1320774624000},"page":"51-66","source":"Crossref","is-referenced-by-count":1,"title":["Applicative State Transition Systems in LISP-Like Notation"],"prefix":"10.1007","author":[{"given":"Armin B.","family":"Cremers","sequence":"first","affiliation":[]},{"given":"Thomas N.","family":"Hibbard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Aiken, H.H., Proposed Automatic Calculating Machine, 1937: in: Randell, B. (ed.), The Origins of Digital Computers - Selected Papers, Springer-Verlag,1973."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"Backus, J., Can Programming Be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs. Comm. ACM 21, 613\u2013641, 1978.","journal-title":"Comm. ACM"},{"key":"6_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":"Bauer, F.L., W\u00f6ssner, H., Algorithmische Sprache und Programmentwicklung, Springer-Verlag, 1981."},{"key":"6_CR4","unstructured":"Chen, M., Mead, C., Concurrent Algorithms as Space-Time Recursion Equations, Proc. VLSI and Modern Signal Processing, USC, Los Angeles, Calif., 31\u201352, Nov. 1982."},{"key":"6_CR5","first-page":"1","volume-title":"Programmiersprachen, Informatik-Fachberichte 1","author":"AB Cremers","year":"1976","unstructured":"Cremers, A.B., Hibbard, T.N., The Semantic Definition of Programming Languages in Terms of their Data Spaces, in: Programmiersprachen, Informatik-Fachberichte 1, 1\u201311, 1976."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1109\/TSE.1978.233862","volume":"4","author":"AB Cremers","year":"1978","unstructured":"Cremers, A.B., Hibbard, T.N., Formal Modeling of Virtual Machines, IEEE Trans. Software Engineering 4, 426\u2013436, 1978.","journal-title":"IEEE Trans. Software Engineering"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00288884","volume":"9","author":"AB Cremers","year":"1978","unstructured":"Cremers, A.B., Hibbard, T.N., Orthogonality of Information Structures, Acta Informatica 9, 243\u2013261, 1978.","journal-title":"Acta Informatica"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00289044","volume":"9","author":"AB Cremers","year":"1978","unstructured":"Cremers, A.B., Hibbard, T.N., Functional Behavior in Data Spaces, Acta Informatics 9, 293\u2013307, 1978.","journal-title":"Acta Informatics"},{"key":"6_CR9","unstructured":"Cremers, A.B., Hibbard, T.N., Specification of Data Spaces by Means of Context-Free -Grammar-Controlled Primitive Recursion, Gr\u00fcne Reihe Nr. 107, Dortmund,1980."},{"key":"6_CR10","unstructured":"Cremers, A.B., Hibbard, T.N., Executable Specification of Concurrent Algorithms in Terms of Applicative Data Space Notation, in: Kung, S.Y. (ed.) VLSI and Modern Signal Processing, Prentice-Hall, to appear."},{"key":"6_CR11","volume-title":"Prentice-Hall","author":"P Henderson","year":"1980","unstructured":"Henderson, P., Functional Programming - Application and Implementation, Prentice-Hall, 1980."},{"key":"6_CR12","first-page":"57","volume-title":"Construction, Am\u00e9lioration et V\u00e9rification des Programmes","author":"FW Henke von","year":"1975","unstructured":"von Henke, F.W., On Generating Programs from Types: An Approach to Automatic Programming, in: Huet, G., Kahn, G. (eds.), Construction, Am\u00e9lioration et V\u00e9rification des Programmes, Coll. IRIA, 57\u201369, 1975."},{"key":"6_CR13","volume-title":"Wiley","author":"K Iverson","year":"1962","unstructured":"Iverson, K., A Programming Language, Wiley, 1962."},{"key":"6_CR14","volume-title":"Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation","author":"H Klaeren","year":"1980","unstructured":"Klaeren, H., Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation, Dissertation, RWTH Aachen, 1980."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1982.1653825","volume":"15","author":"HT Kung","year":"1982","unstructured":"Kung, H.T., Why Systolic Architectures?, Computer Magazine 15, 37\u201346, 1982.","journal-title":"Computer Magazine"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"1054","DOI":"10.1109\/TC.1982.1675922","volume":"31","author":"SY Kung","year":"1982","unstructured":"Kung, S.Y., Arun, K.S., Gal-Ezer, R.J., Bhaskar Rao, D.V., Wavefront Array Processor: Language, Architecture, and Applications, IEEE Trans. Computers 31, 1054\u20131066, 1982.","journal-title":"IEEE Trans. Computers"},{"key":"6_CR17","volume-title":"Saarbr\u00fccken","author":"J Loeckx","year":"1981","unstructured":"Loeckx, J., Algorithmic Specifications: A New Specification Method for Abstract Data Types, Rote Reihe Nr. 14, Saarbr\u00fccken, 1981."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J McCarthy","year":"1960","unstructured":"McCarthy, J., Recursive Functions of Symbolic Expressions and their Computation by Machine, Comm. ACM 3, 184\u2013195, 1960.","journal-title":"ACM"},{"key":"6_CR19","unstructured":"Mead, C., VLSI, Signal Processing, and Formal Semantics, Proc. VLSI and Modern Signal Processing, USC, Los Angeles, Calif., 157\u2013158, Nov. 1982."},{"key":"6_CR20","first-page":"295","volume-title":"Executable Requirements for Embedded Systems, Proc. Intl. Conf. Software Engineering, San Diego, Calif","author":"P Zave","year":"1960","unstructured":"Zave, P., Yeh, R.T., Executable Requirements for Embedded Systems, Proc. Intl. Conf. Software Engineering, San Diego, Calif., 295\u2013304, 1981."},{"key":"6_CR21","unstructured":"Proc. Functional Programming Languages and Computer Architecture, Portsmouth, ACM Order No. 556810, Oct. 1981."}],"container-title":["Informatik-Fachberichte","GI - 13. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69298-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:27:11Z","timestamp":1606256831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69298-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127345","9783642692987"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69298-7_6","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}