{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:42Z","timestamp":1750219842026,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T00:00:00Z","timestamp":1676592000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Científico e Tecnológico","doi-asserted-by":"publisher","award":["0001"],"award-info":[{"award-number":["0001"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002322","name":"Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","doi-asserted-by":"publisher","award":["0002"],"award-info":[{"award-number":["0002"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,2,17]]},"DOI":"10.1145\/3578360.3580270","type":"proceedings-article","created":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T20:20:06Z","timestamp":1676665206000},"page":"239-249","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need"],"prefix":"10.1145","author":[{"given":"Breno","family":"Campos Ferreira Guimar\u00e3es","sequence":"first","affiliation":[{"name":"Federal University of Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Magno","family":"Quint\u00e3o Pereira","sequence":"additional","affiliation":[{"name":"Federal University of Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207157"},{"volume-title":"The D programming language","author":"Alexandrescu Andrei","key":"e_1_3_2_1_2_1","unstructured":"Andrei Alexandrescu . 2010. The D programming language . Addison-Wesley , Bostom, MA , US. Andrei Alexandrescu. 2010. The D programming language. Addison-Wesley, Bostom, MA, US."},{"key":"e_1_3_2_1_3_1","volume-title":"Appel and Jens Palsberg","author":"Andrew","year":"2003","unstructured":"Andrew W. Appel and Jens Palsberg . 2003 . Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press , USA. isbn:052182060X Andrew W. Appel and Jens Palsberg. 2003. Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press, USA. isbn:052182060X"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/367236.367262"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2428116.2428118"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512534"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386334"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535887"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523701"},{"key":"e_1_3_2_1_15_1","volume-title":"Peyton Jones","author":"Clack Chris","year":"1985","unstructured":"Chris Clack and Simon L . Peyton Jones . 1985 . Strictness analysis \u2014 a practical approach. In Functional Programming Languages and Computer Architecture, Jean-Pierre Jouannaud (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg. 35\u201349. isbn:978-3-540-39677-2 Chris Clack and Simon L. Peyton Jones. 1985. Strictness analysis \u2014 a practical approach. In Functional Programming Languages and Computer Architecture, Jean-Pierre Jouannaud (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 35\u201349. isbn:978-3-540-39677-2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Breno Campos Ferreira Guimaraes. 2022. Automatically Transforming Call-by-Value into Call-by-Need. Master\u2019s thesis. Universidade Federal de Minas Gerais. Breno Campos Ferreira Guimaraes. 2022. Automatically Transforming Call-by-Value into Call-by-Need. Master\u2019s thesis. Universidade Federal de Minas Gerais.","DOI":"10.1145\/3578360.3580270"},{"volume-title":"The C# programming language. Pearson Education","author":"Hejlsberg Anders","key":"e_1_3_2_1_19_1","unstructured":"Anders Hejlsberg , Mads Torgersen , Scott Wiltamuth , and Peter Golde . 2008. The C# programming language. Pearson Education , Hoboken, NJ, USA . Anders Hejlsberg, Mads Torgersen, Scott Wiltamuth, and Peter Golde. 2008. The C# programming language. Pearson Education, Hoboken, NJ, USA."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3573105.3575681"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"volume-title":"The Swift Programming Language","author":"Apple Inc.","key":"e_1_3_2_1_22_1","unstructured":"Apple Inc. . 2021. The Swift Programming Language . Apple Inc., Cupertino, CA, USA. Apple Inc.. 2021. The Swift Programming Language. Apple Inc., Cupertino, CA, USA."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41638"},{"key":"e_1_3_2_1_24_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . 2004 . LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation . In CGO. IEEE Computer Society , USA. 75. isbn:0769521029 Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation. In CGO. IEEE Computer Society, USA. 75. isbn:0769521029"},{"volume-title":"Principles of programming languages: design, evaluation, and implementation. Holt","author":"MacLennan Bruce J","key":"e_1_3_2_1_25_1","unstructured":"Bruce J MacLennan . 1986. Principles of programming languages: design, evaluation, and implementation. Holt , Rinehart & Winston, New York, NY , US. Bruce J MacLennan. 1986. Principles of programming languages: design, evaluation, and implementation. Holt, Rinehart & Winston, New York, NY, US."},{"volume-title":"Abstract interpretation and optimising transformations for applicative programs. Ph. D. Dissertation","author":"Mycroft Alan","key":"e_1_3_2_1_26_1","unstructured":"Alan Mycroft . 1981. Abstract interpretation and optimising transformations for applicative programs. Ph. D. Dissertation . University of Edimburgh. Alan Mycroft. 1981. Abstract interpretation and optimising transformations for applicative programs. Ph. D. Dissertation. University of Edimburgh."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93578"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.2307\/1990888"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2989225.2989236"},{"volume-title":"A Survey of Program Slicing Techniques","author":"Tip Frank","key":"e_1_3_2_1_30_1","unstructured":"Frank Tip . 1994. A Survey of Program Slicing Techniques . IBM T. J. Watson Research Center , NLD. Frank Tip. 1994. A Survey of Program Slicing Techniques. IBM T. J. Watson Research Center, NLD."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207115"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/15042.15053"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02163002"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73571"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1050849.1050865"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2021.15"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-020-9754-4"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CAHPC.2005.26"}],"event":{"name":"CC '23: 32nd ACM SIGPLAN International Conference on Compiler Construction","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Montr\u00e9al QC Canada","acronym":"CC '23"},"container-title":["Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578360.3580270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:52Z","timestamp":1750178812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578360.3580270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,17]]},"references-count":39,"alternative-id":["10.1145\/3578360.3580270","10.1145\/3578360"],"URL":"https:\/\/doi.org\/10.1145\/3578360.3580270","relation":{},"subject":[],"published":{"date-parts":[[2023,2,17]]},"assertion":[{"value":"2023-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}