{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:38:31Z","timestamp":1725521911625},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_6","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T12:05:56Z","timestamp":1227701156000},"page":"74-89","source":"Crossref","is-referenced-by-count":2,"title":["Preserving Sharing in the Partial Evaluation of Lazy Functional Programs"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Tamarit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1016\/j.jsc.2004.01.001","volume":"40","author":"E. Albert","year":"2005","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation\u00a040(1), 795\u2013829 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR2","unstructured":"Albert, E., Hanus, M., Vidal, G.: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming\u00a02002(1) (2002)"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0020-0190(02)00336-8","volume":"85","author":"E. Albert","year":"2003","unstructured":"Albert, E., Hanus, M., Vidal, G.: A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs. Information Processing Letters\u00a085(1), 19\u201325 (2003)","journal-title":"Information Processing Letters"},{"key":"6_CR4","first-page":"151","volume-title":"Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997","author":"M. Alpuente","year":"1997","unstructured":"Alpuente, M., Falaschi, M., Juli\u00e1n, P., Vidal, G.: Specialization of Lazy Functional Logic Programs. In: Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1997, vol. 32, pp. 151\u2013162. ACM Press, New York (1997)"},{"key":"6_CR5","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-71410-1_6","volume-title":"Proc. of LOPSTR 2006","author":"G. Arroyo","year":"2007","unstructured":"Arroyo, G., Ramos, J.G., Silva, J., Vidal, G.: Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol.\u00a04407, pp. 60\u201376. Springer, Heidelberg (2007)"},{"key":"6_CR7","volume-title":"The Lambda Calculus\u2014Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus\u2014Its Syntax and Semantics. Elsevier, Amsterdam (1984)"},{"key":"6_CR8","unstructured":"Bondorf, A.: Similix 5.0 Manual (1993)"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"A. Bondorf","year":"1993","unstructured":"Bondorf, A., J\u00f8rgensen, J.: Efficient Analyses for Realistic Off-Line Partial Evaluation. Journal of Functional Programming\u00a03(3), 315\u2013346 (1993)","journal-title":"Journal of Functional Programming"},{"key":"6_CR10","first-page":"493","volume-title":"Proc. of the ACM Symp. on Principles of Programming Languages","author":"C. Consel","year":"1993","unstructured":"Consel, C., Danvy, O.: Tutorial notes on Partial Evaluation. In: Proc. of the ACM Symp. on Principles of Programming Languages, pp. 493\u2013501. ACM, New York (1993)"},{"issue":"6","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1145\/1108970.1108973","volume":"27","author":"A.J. Glenstrup","year":"2005","unstructured":"Glenstrup, A.J., Jones, N.D.: Termination analysis and specialization-point insertion in offline partial evaluation. ACM TOPLAS\u00a027(6), 1147\u20131215 (2005)","journal-title":"ACM TOPLAS"},{"key":"6_CR12","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ (1993)"},{"key":"6_CR13","first-page":"144","volume-title":"Proc. of the ACM Symp. on Principles of Programming Languages (POPL 1993)","author":"J. Launchbury","year":"1993","unstructured":"Launchbury, J.: A Natural Semantics for Lazy Evaluation. In: Proc. of the ACM Symp. on Principles of Programming Languages (POPL 1993), pp. 144\u2013154. ACM Press, New York (1993)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Elphick, D., Varea, M., Craig, S., Fontaine, M.: The Ecce and Logen Partial Evaluators and Their Web Interfaces. In: Proc. of PEPM 2006, pp. 88\u201394. IBM Press (2006)","DOI":"10.1145\/1111542.1111557"},{"volume-title":"Haskell 98 Language and Libraries\u2014The Revised Report","year":"2003","key":"6_CR15","unstructured":"Peyton-Jones, S. (ed.): Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press, Cambridge (2003)"},{"issue":"4&5","key":"6_CR16","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1017\/S0956796802004331","volume":"12","author":"S.L. Peyton Jones","year":"2002","unstructured":"Peyton Jones, S.L., Marlow, S.: Secrets of the Glasgow Haskell Compiler Inliner. Journal of Functional Programming\u00a012(4&5), 393\u2013433 (2002)","journal-title":"Journal of Functional Programming"},{"key":"6_CR17","first-page":"228","volume-title":"Proc. of the 10th ACM SIGPLAN Int\u2019l Conf. on Functional Programming (ICFP 2005)","author":"J.G. Ramos","year":"2005","unstructured":"Ramos, J.G., Silva, J., Vidal, G.: Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. In: Proc. of the 10th ACM SIGPLAN Int\u2019l Conf. on Functional Programming (ICFP 2005), pp. 228\u2013239. ACM Press, New York (2005)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P.L. Wadler","year":"1990","unstructured":"Wadler, P.L.: Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science\u00a073, 231\u2013248 (1990)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:45:07Z","timestamp":1557945907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}