{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:11:27Z","timestamp":1784232687671,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,14]]},"DOI":"10.1145\/1273920.1273932","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"page":"87-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Relational semantics for effect-based program transformations with dynamic allocation"],"prefix":"10.1145","author":[{"given":"Nick","family":"Benton","sequence":"first","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew","family":"Kennedy","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lennart","family":"Beringer","sequence":"additional","affiliation":[{"name":"LMU"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Hofmann","sequence":"additional","affiliation":[{"name":"LMU"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500003054"},{"key":"e_1_3_2_1_2_1","first-page":"65","volume-title":"Research Directions in Functional Programming","author":"Abramsky S.","year":"1988","unstructured":"S. Abramsky . The lazy lambda calculus . In D. Turner, editor, Research Directions in Functional Programming , chapter 4, pages 65 -- 116 . Addison-Wesley , 1988 . S. Abramsky. The lazy lambda calculus. In D. Turner, editor, Research Directions in Functional Programming, chapter 4, pages 65--116. Addison-Wesley, 1988."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/788021.788961"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964003"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190320"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","volume-title":"Applied Semantics, Advanced Lectures","author":"Benton N.","year":"2002","unstructured":"N. Benton , J. Hughes , and E. Moggi . Monads and effects . In Applied Semantics, Advanced Lectures , volume 2395 of LNCS . Springer-Verlag , 2002 . N. Benton, J. Hughes, and E. Moggi. Monads and effects. In Applied Semantics, Advanced Lectures, volume 2395 of LNCS. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80280-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11417170_8"},{"key":"e_1_3_2_1_10_1","first-page":"42","volume-title":"Applied Semantics, International Summer School","author":"Benton Nick","year":"2000","unstructured":"Nick Benton , John Hughes , and Eugenio Moggi . Monads and effects . In Applied Semantics, International Summer School , Springer LNCS 2395, pages 42 -- 122 , 2000 . Nick Benton, John Hughes, and Eugenio Moggi. Monads and effects. In Applied Semantics, International Summer School, Springer LNCS 2395, pages 42--122, 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680600596X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800536"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018827"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111050"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73577"},{"key":"e_1_3_2_1_19_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner . Communication and Concurrency . Prentice-Hall International , 1989 . R. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004154"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.004"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/210346.210425"},{"key":"e_1_3_2_1_23_1","volume-title":"Higher Order Operational Techniques in Semantics. CUP","author":"Pitts A. M.","year":"1998","unstructured":"A. M. Pitts and I. D. B. Stark . Operational reasoning for functions with local state . In Higher Order Operational Techniques in Semantics. CUP , 1998 . A. M. Pitts and I. D. B. Stark. Operational reasoning for functions with local state. In Higher Order Operational Techniques in Semantics. CUP, 1998."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005214"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040311"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010022312623"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/601775.601776"}],"event":{"name":"PPDP07: Principles and Practice of Declarative Programming","location":"Wroclaw Poland","acronym":"PPDP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273932","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273920.1273932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":29,"alternative-id":["10.1145\/1273920.1273932","10.1145\/1273920"],"URL":"https:\/\/doi.org\/10.1145\/1273920.1273932","relation":{},"subject":[],"published":{"date-parts":[[2007,7,14]]},"assertion":[{"value":"2007-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}