{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:08Z","timestamp":1725664748959},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-60983-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:48Z","timestamp":1330290588000},"page":"209-211","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A new framework for declarative programming: Categorical perspectives"],"prefix":"10.1007","author":[{"given":"James","family":"Lipton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stacy E.","family":"Finkelstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Freyd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","unstructured":"A. Asperti and S. Martini. Projections instead of variables, a category theoretic interpretation of logic programs. In Proc. 6th ICLP, pages 337\u2013352. MIT Press, 1989."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"A. Corradini and A. Asperti. A categorical model for logic programs: Indexed monoidal categories. In Proceedings REX Workshop '92. Springer Lecture Notes in Computer Science, 1992.","DOI":"10.1007\/3-540-56596-5_31"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(92)90087-V","volume":"103","author":"A. Corradini","year":"1992","unstructured":"Andrea Corradini and Ugo Montanari. An algebraic semantics for structured transition systems and its application to logic programs. Theoretical Computer Science, 103:51\u2013106, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"2\u20133","key":"14_CR4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2\u20133):103\u2013179, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"14_CR5","unstructured":"Razvan Diaconescu. Category-based semantics for equational and constraint logic programming. PhD thesis, Oxford University, 1994."},{"key":"14_CR6","unstructured":"Stacy E. Finkelstein, Peter Freyd, and James Lipton. A new framework for declarative programming. To appear, 1996."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Stacy E. Finkelstein, Peter Freyd, and James Lipton. Logic programming in tau categories. In Computer Science Logic '94, LNCS 933. Springer, 1995.","DOI":"10.1007\/BFb0022261"},{"key":"14_CR8","unstructured":"Neil D. Jones. Abstract interpretation and partial evaluation in functional and logic programming. In Maurice Bruynooghe, editor, Logic Programming. Proceedings of the 1994 International Symposium, pages 17\u201322. The MIT Press, 1994."},{"key":"14_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, New York, 1987."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"M. Martelli M. Falaschi, G. Levi and C. Palamidessi. Declarative modeling of the operational behavior of logic languages. TCS, 69(3), 1989.","DOI":"10.1016\/0304-3975(89)90070-4"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"M. Martelli M. Falaschi, G. Levi and C. Palamidessi. A model-theoretic reconstruction of the operational semantics of logic programs. Information and Computation, 102(1), 1993.","DOI":"10.1006\/inco.1993.1015"},{"key":"14_CR12","unstructured":"P. Panangaden, V. Saraswat, P.J. Scott, and R.A.G. Seely. A hyperdoctrinal view of constraint systems. In Lecture Notes in Computer Science 666. Springer-Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:28:56Z","timestamp":1558268936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}