{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:13:10Z","timestamp":1736140390036,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634683"},{"type":"electronic","value":"9783540695769"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0032739","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:56:10Z","timestamp":1133420170000},"page":"141-156","source":"Crossref","is-referenced-by-count":7,"title":["Denotational abstract interpretation of functional logic programs"],"prefix":"10.1007","author":[{"given":"Frank","family":"Zartmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"S. Antoy. Definitional trees. In ALP, volume 632 of LNCS, pages 143\u2013157. Springer, 1992.","DOI":"10.1007\/BFb0013825"},{"key":"10_CR2","first-page":"268","volume":"21","author":"S. Antoy","year":"1994","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Symposium on Principles of Programming Languages (POPL'94), volume 21, pages 268\u2013279. ACM, 1994.","journal-title":"Symposium on Principles of Programming Languages (POPL'94)"},{"key":"10_CR3","unstructured":"G.L. Burn. Evaluation transformer-a model for the parallel evaluation of functional 2701 0699 V 2 languages (extended abstract). In Proc. of the 3th Conference on Functional 2701 0699 V 3 Languages and Computer Architecture, volume 274 of LNCS, pages 446\u2013470. 2701 0699 V 3 Springer, 1987."},{"key":"10_CR4","unstructured":"G.L. Burn. Lazy Functional Languges: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. MIT Press, 1991."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In Proc. of the 4th ACM Symposium on Principles of Programming Languages (POPL), pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J. Jouannaud. Rewrite systems. In J. Van Leeuwen, editor, Handbook of theoretical Computer Science, volume B, chapter 6, pages 243\u2013320. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"W. Hans, J. Marino-Carballo, J. J. Moreno-Navarro, H. Kuchen, and S. Winkler. Efficient lazy narrowing using demandedness analysis. In PLILP, volume 714 of 2701 0699 V 3 LNCS, pages 167\u2013183. Springer, 1993.","DOI":"10.1007\/3-540-57186-8_78"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19&20","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"10_CR9","first-page":"80","volume":"24","author":"M. Harms","year":"1997","unstructured":"M. Harms. A unified computation model for functional logic programming. In Symposium on Principles of Programming Languages (POPL'97), volume 24, pages 80\u201393. ACM, 1997.","journal-title":"Symposium on Principles of Programming Languages (POPL'97)"},{"key":"10_CR10","unstructured":"M. Harms and S. Lucas. Definition and analysis of a denotational semantics for needed narrowing. Technical Report DSIC 11\/2\/96, Universidad Polit\u00e9cnia de Valencia, 1996."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(94)00248-3","volume":"152","author":"M. Kurihara","year":"1995","unstructured":"M. Kurihara and A. Ohuchi. Modularity in noncopying term rewriting. Theoretical Computer Science, 152:139\u201369, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10_CR12","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/177492.177650","volume":"16","author":"K. Marriott","year":"1994","unstructured":"K. Marriott, H. Sondergaard, and N. D. Jones. Denotational abstract interpretation of logic programs. ACM Transactions on Programming Languages, 16(3):607\u2013648, May 1994.","journal-title":"ACM Transactions on Programming Languages"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"A. Mycroft. The theory and practice of transforming call-by-need into call-by-value. 2701 0699 V 2 In Proc. of the 4th International Symposium on Programming Languages, 2701 0699 V 3 volume 83 of LNCS, pages 269\u2013281. Springer, 1980.","DOI":"10.1007\/3-540-09981-6_19"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"C. Palamidessi. Algebraic properties of idempotent substitutions. In M.S. Paterson, editor, Proc. of 17th Int'l Colloquium on Automata, Languages and Programming, volume 443 of LNCS, pages 386\u2013399. Springer, 1990.","DOI":"10.1007\/BFb0032046"},{"issue":"6","key":"10_CR15","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1145\/218570.218573","volume":"17","author":"R. Sekar","year":"1995","unstructured":"R. Sekar and I. V. Ramakrishnan.Fast strictness analysis based on demand propagation. ACM Transactions on Programming Languages and Systems, 17(6):896\u2013937, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:45:13Z","timestamp":1736127913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634683","9783540695769"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0032739","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}