{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:00Z","timestamp":1725456060270},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540557890"},{"type":"electronic","value":"9783540472858"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0023763","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:11:10Z","timestamp":1132377070000},"page":"134-148","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Denotational versus declarative semantics for functional programming"],"prefix":"10.1007","author":[{"given":"Juan","family":"Carlos","sequence":"first","affiliation":[]},{"given":"Gonz\u00e1lez","family":"Moreno","sequence":"additional","affiliation":[]},{"given":"Maria Teresa Hortal\u00e1","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[]},{"given":"Mario Rodr\u00edguez","family":"Artalejo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"10_CR1","unstructured":"K.R.Apt: Logic Programming. In J.van Leeuwen (ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers, 1990."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"M.Bellia, G.Levi: The Relation between Logic and Functional Languages: a Survey. J. Logic Programming 3, 1986, pp. 217\u2013236.","journal-title":"J. Logic Programming"},{"key":"10_CR3","unstructured":"M.Bellia, P.G.Bosco, E.Giovannetti, G.Levi, C.Moiso, C.Palamidessi: A twolevel approach to logic and functional programming, in Procs. PARLE '87."},{"key":"10_CR4","unstructured":"M.H.M.Cheng, M.H.van Emden, B.E.Richards: On Warren's Method for Functional Programming in Logic. Procs. 7th Int. Conf. on Logic Programming, MIT Press, 1990, pp. 546\u2013560."},{"key":"10_CR5","unstructured":"W.Chen, M.Kifer, D.S.Warren: HiLog: A First Order Semantics for Higher-Order Logic Programming Constructs. Procs. North American Conf. on Logic Programming '89, MIT Press, 1989, pp. 1090\u20131114."},{"key":"10_CR6","unstructured":"D. de Groot, G.Lindstrom (eds): Logic Programming: Functions, Relations and Equations. Prentice Hall, 1986."},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"N.Dershowitz, M.Okada: A Rationale for Conditional Equational Programming. Theor. Comp. Sci. 75, 1990, pp. 111\u2013138.","journal-title":"Theor. Comp. Sci."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(91)90040-9","volume":"83","author":"N. Dershowitz","year":"1991","unstructured":"N.Dershowitz, S.Kaplan, D.A.Plaisted: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ... Theoretical Computer Science 83, 1991. pp. 71\u201396.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10_CR9","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A.Goguen, J.W.Thatcher, E.G.Wagner,J.B.Wright: On Initial Algebra Semantics and Continuous Algebras. J. ACM 24, 1, 1977, pp. 68\u201395.","journal-title":"J. ACM"},{"key":"10_CR10","unstructured":"J.C.Gonz\u00e1lez-Moreno, M.T.Hortal\u00e1-Gonz\u00e1lez, M.Rodr\u00edguez-Artalejo: A Functional Logic Language with Higher Order Logic Variables. Technical Report DIA 90\/6, October 1990."},{"key":"10_CR11","unstructured":"J.R.Hindley, J.P.Seldin: Introduction to Combinators and \u03bb-Calculus. Cambridge University Press, 1986."},{"key":"10_CR12","first-page":"1","volume":"488","author":"J.R. Kennaway","year":"1989","unstructured":"J.R.Kennaway, J.W.Klop, M.R.Sleep, F.J.de Vries: Transfinite Reductions in Orthogonal Term Rewriting Systems. Procs. RTA '91, Springer LNCS 488, 1989, pp. 1\u201312.","journal-title":"Procs. RTA '91, Springer LNCS"},{"key":"10_CR13","first-page":"448","volume":"225","author":"D.A. Miller","year":"1986","unstructured":"D.A.Miller, G.Nadathur: Higher Order Logic Programming. Procs. 3th Int. Conf. on Logic Programming, Springer LNCS. 225, 1986, pp. 448\u2013462.","journal-title":"Procs. 3th Int. Conf. on Logic Programming, Springer LNCS"},{"key":"10_CR14","first-page":"577","volume":"140","author":"D.S. Scott","year":"1982","unstructured":"D.S.Scott: Domains for denotational semantics. Procs. ICALP, 82, Springer LNCS 140, 1982, pp. 577\u2013613.","journal-title":"Procs. ICALP, 82, Springer LNCS"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume":"201","author":"D.A. Turner","year":"1985","unstructured":"D.A.Turner: Miranda: a non-strict functional language with polymorphic types. Procs. ACM Conf. on Functional Programming Languages and Computer Architectures, Springer LNCS 201, 1985, pp. 1\u201316.","journal-title":"Procs. ACM Conf. on Functional Programming Languages and Computer Architectures, Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:05:45Z","timestamp":1558256745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540557890","9783540472858"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0023763","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}