{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:54Z","timestamp":1772163954982,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T00:00:00Z","timestamp":1232496000000},"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":[[2009,1,21]]},"DOI":"10.1145\/1480881.1480908","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T09:41:38Z","timestamp":1232444498000},"page":"200-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Copy-on-write in the PHP language"],"prefix":"10.1145","author":[{"given":"Akihiko","family":"Tozawa","sequence":"first","affiliation":[{"name":"IBM Research, Tokyo Research Laboratory, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michiaki","family":"Tatsubori","sequence":"additional","affiliation":[{"name":"IBM Research, Tokyo Research Laboratory, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamiya","family":"Onodera","sequence":"additional","affiliation":[{"name":"IBM Research, Tokyo Research Laboratory, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuhiko","family":"Minamide","sequence":"additional","affiliation":[{"name":"University of Tsukuba, Tsukuba, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/57549.57560"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359566"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17945-3_8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99373"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292535.1292541"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"issue":"4","key":"e_1_3_2_1_8_1","first-page":"258","article-title":"A type system for bounded space and functional in-place update","volume":"7","author":"Hofmann M.","year":"2000","unstructured":"M. Hofmann . A type system for bounded space and functional in-place update . Nordic J. of Computing , 7 ( 4 ): 258 -- 289 , 2000 . M. Hofmann. A type system for bounded space and functional in-place update. Nordic J. of Computing, 7(4):258--289, 2000.","journal-title":"Nordic J. of Computing"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318660"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060809"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99590"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002852"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/29650.29657"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(75)90015-6"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Proc. of LOPSTER 2001, 11th International Workshop on Logic Based Program Synthesis and Transformation","author":"Shankar N.","year":"2001","unstructured":"N. Shankar . Static analysis for safe destructive updates in a functional language . In Proc. of LOPSTER 2001, 11th International Workshop on Logic Based Program Synthesis and Transformation , Paphos, Cyprus , November 28-30, 2001 , LNCS 2372, pages 1 -- 24 , 2001. N. Shankar. Static analysis for safe destructive updates in a functional language. In Proc. of LOPSTER 2001, 11th International Workshop on Logic Based Program Synthesis and Transformation, Paphos, Cyprus, November 28-30, 2001, LNCS 2372, pages 1--24, 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224168"},{"key":"e_1_3_2_1_17_1","first-page":"347","volume-title":"Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods , pages 347 -- 359 , 1990 . P. Wadler. Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 347--359, 1990."}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Savannah GA USA","acronym":"POPL09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480881.1480908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:59Z","timestamp":1750238999000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,21]]},"references-count":16,"alternative-id":["10.1145\/1480881.1480908","10.1145\/1480881"],"URL":"https:\/\/doi.org\/10.1145\/1480881.1480908","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1594834.1480908","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,1,21]]},"assertion":[{"value":"2009-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}