{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:08:38Z","timestamp":1740179318401,"version":"3.37.3"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"ICFP","funder":[{"name":"National Science Centre of Poland","award":["2019\/33\/B\/ST6\/00289"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,8,29]]},"abstract":"We present an abstract machine for a strong call-by-need strategy \n in the lambda calculus. The machine has been derived automatically \n from a higher-order evaluator that uses \n the technique of \n memothunks to implement laziness. The derivation has been done with the use of \n an off-the-shelf transformation tool implementing the \"functional correspondence\" between higher-order interpreters and abstract machines, \n and it \n yields a simple and concise description of the machine. We prove \n that the resulting machine conservatively extends the lazy version \n of Krivine machine for the weak call-by-need strategy, and that it \n simulates the normal-order strategy in bilinear number of steps.<\/jats:p>","DOI":"10.1145\/3549822","type":"journal-article","created":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T19:39:26Z","timestamp":1661974766000},"page":"109-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A simple and efficient implementation of strong call by need by an abstract machine"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8094-0980","authenticated-orcid":false,"given":"Ma\u0142gorzata","family":"Biernacka","sequence":"first","affiliation":[{"name":"University of Wroc\u0142aw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7062-0385","authenticated-orcid":false,"given":"Witold","family":"Charatonik","sequence":"additional","affiliation":[{"name":"University of Wroc\u0142aw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6629-5839","authenticated-orcid":false,"given":"Tomasz","family":"Drab","sequence":"additional","affiliation":[{"name":"University of Wroc\u0142aw, Poland"}]}],"member":"320","published-online":{"date-parts":[[2022,8,31]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52921-8_1"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131851.3131855"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.23"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470630"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-12(1:4)2016"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.03.002"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2022.4"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888254"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.02.012"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199507"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110264"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSCD.2021.9"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236950.3236972"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64437-6_8"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSCD.2019.8"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479394.3479401"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6786796"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ITP.2022.7"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSCD.2017.10"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.028"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-98869-2_3"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_7"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354174"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9015-z"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505879.2505898"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2005026"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.011"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"volume-title":"Strong Normalization, and Weak Normalization in the Presence of State. Master\u2019s thesis. DAIMI, Department of Computer Science","author":"Munk Johan","key":"e_1_2_1_31_1","unstructured":"Johan Munk . 2007. A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability , Strong Normalization, and Weak Normalization in the Presence of State. Master\u2019s thesis. DAIMI, Department of Computer Science , Aarhus University . Aarhus, Denmark. https:\/\/www.brics.dk\/RS\/08\/3\/BRICS-RS-08-3.pdf BRICS research report RS-08-3 Johan Munk. 2007. A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of State. Master\u2019s thesis. DAIMI, Department of Computer Science, Aarhus University. Aarhus, Denmark. https:\/\/www.brics.dk\/RS\/08\/3\/BRICS-RS-08-3.pdf BRICS research report RS-08-3"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530104"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863528"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/s0956796897002712"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3549822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T08:51:14Z","timestamp":1672649474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3549822"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,29]]},"references-count":34,"journal-issue":{"issue":"ICFP","published-print":{"date-parts":[[2022,8,29]]}},"alternative-id":["10.1145\/3549822"],"URL":"https:\/\/doi.org\/10.1145\/3549822","relation":{},"ISSN":["2475-1421"],"issn-type":[{"type":"electronic","value":"2475-1421"}],"subject":[],"published":{"date-parts":[[2022,8,29]]},"assertion":[{"value":"2022-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}