{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:50:01Z","timestamp":1771951801453,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T00:00:00Z","timestamp":1661904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,31]]},"DOI":"10.1145\/3587216.3587218","type":"proceedings-article","created":{"date-parts":[[2023,6,5]],"date-time":"2023-06-05T22:16:00Z","timestamp":1686003360000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Compiling a functional array language with non-semantic memory information"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9499-199X","authenticated-orcid":false,"given":"Philip","family":"Munksgaard","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5421-6876","authenticated-orcid":false,"given":"Cosmin","family":"Oancea","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1195-9722","authenticated-orcid":false,"given":"Troels","family":"Henriksen","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103736.2103740"},{"key":"e_1_3_2_1_2_1","volume-title":"16th International Workshop, IFL\u201904","author":"Grelck Clemens","year":"2004","unstructured":"Clemens Grelck and Kai Trojahner . 2004 . Implicit Memory Management for SaC. In Implementation and Application of Functional Languages , 16th International Workshop, IFL\u201904 , Clemens Grelck and Frank Huch (Eds.). University of Kiel, Institute of Computer Science and Applied Mathematics, 335\u2013348. greltrojifl04.pdf Technical Report 0408. Clemens Grelck and Kai Trojahner. 2004. Implicit Memory Management for SaC. In Implementation and Application of Functional Languages, 16th International Workshop, IFL\u201904, Clemens Grelck and Frank Huch (Eds.). University of Kiel, Institute of Computer Science and Applied Mathematics, 335\u2013348. greltrojifl04.pdf Technical Report 0408."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512761"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062354"},{"key":"e_1_3_2_1_5_1","volume-title":"International Journal of Parallel Programming 29(2)","author":"Hoeflinger Jay","year":"2001","unstructured":"Jay Hoeflinger , Yunheung Paek , and Kwang Yi. 2001. Unified Interprocedural Parallelism Detection . International Journal of Parallel Programming 29(2) ( 2001 ), 185\u2013215. Jay Hoeflinger, Yunheung Paek, and Kwang Yi. 2001. Unified Interprocedural Parallelism Detection. International Journal of Parallel Programming 29(2) (2001), 185\u2013215."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535841"},{"key":"e_1_3_2_1_7_1","volume-title":"ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress.","author":"Leroy Xavier","year":"2016","unstructured":"Xavier Leroy , Sandrine Blazy , Daniel K\u00e4stner , Bernhard Schommer , Markus Pister , and Christian Ferdinand . 2016 . CompCert-a formally verified optimizing compiler . In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress. Xavier Leroy, Sandrine Blazy, Daniel K\u00e4stner, Bernhard Schommer, Markus Pister, and Christian Ferdinand. 2016. CompCert-a formally verified optimizing compiler. In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520306.3534502"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3571885.3571926"},{"key":"e_1_3_2_1_10_1","volume-title":"Efficient and Precise Array Access Analysis. ACM Transactions on Programming Languages and Systems 24(1)","author":"Paek Yunheung","year":"2002","unstructured":"Yunheung Paek , Jay Hoeflinger , and David Padua . 2002. Efficient and Precise Array Access Analysis. ACM Transactions on Programming Languages and Systems 24(1) ( 2002 ), 65\u2013109. Yunheung Paek, Jay Hoeflinger, and David Padua. 2002. Efficient and Precise Array Access Analysis. ACM Transactions on Programming Languages and Systems 24(1) (2002), 65\u2013109."},{"key":"e_1_3_2_1_11_1","volume-title":"Reasoning About Programs in Continuation-passing Style.SIGPLAN Lisp Pointers V, 1 (Jan","author":"Sabry Amr","year":"1992","unstructured":"Amr Sabry and Matthias Felleisen . 1992. Reasoning About Programs in Continuation-passing Style.SIGPLAN Lisp Pointers V, 1 (Jan . 1992 ), 288\u2013298. Amr Sabry and Matthias Felleisen. 1992. Reasoning About Programs in Continuation-passing Style.SIGPLAN Lisp Pointers V, 1 (Jan. 1992), 288\u2013298."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/366062.366088"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122948.3122949"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291894"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"}],"event":{"name":"IFL 2022: Symposium on Implementation and Application of Functional Languages","location":"Copenhagen Denmark","acronym":"IFL 2022"},"container-title":["Proceedings of the 34th Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587216.3587218","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587216.3587218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:15Z","timestamp":1750178835000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587216.3587218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,31]]},"references-count":15,"alternative-id":["10.1145\/3587216.3587218","10.1145\/3587216"],"URL":"https:\/\/doi.org\/10.1145\/3587216.3587218","relation":{},"subject":[],"published":{"date-parts":[[2022,8,31]]},"assertion":[{"value":"2023-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}