{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:36Z","timestamp":1772163936254,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"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,8,31]]},"DOI":"10.1145\/1596550.1596581","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"203-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["OXenstored"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Gazagnaire","sequence":"first","affiliation":[{"name":"Citrix Systems, Cambridge, United Kingdom"}]},{"given":"Vincent","family":"Hanquez","sequence":"additional","affiliation":[{"name":"Citrix Systems, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_2_2_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","year":"1987","unstructured":"Philip A. Bernstein , Vassos Hadzilacos , and Nathan Goodman . Concurrency Control and Recovery in Database Systems . Addison-Wesley , 1987 . Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30581-1_7"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.24"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/125223.125254"},{"key":"e_1_3_2_2_6_1","first-page":"62","volume-title":"Claessen and David Sands. Observable Sharing for Functional Circuit Description. In In Asian Computing Science Conference","author":"Koen","year":"1999","unstructured":"Koen Claessen and David Sands. Observable Sharing for Functional Circuit Description. In In Asian Computing Science Conference , pages 62 -- 73 . Springer-Verlag , 1999 . Koen Claessen and David Sands. Observable Sharing for Functional Circuit Description. In In Asian Computing Science Conference, pages 62--73. Springer-Verlag, 1999."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.255.0483"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/367390.367400"},{"key":"e_1_3_2_2_11_1","volume-title":"Transaction Processing: Concepts and Techniques","author":"Gray Jim","year":"1992","unstructured":"Jim Gray and Andreas Reuter . Transaction Processing: Concepts and Techniques . Morgan Kaufmann Publishers Inc ., 1992 . Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., 1992."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/289.291"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_2_14_1","unstructured":"Xavier Leroy J\u00e9r\u00f4me Vouillon Damien Doligez etal The Objective Caml system. http:\/\/caml.inria.fr\/ocaml\/ 1996.  Xavier Leroy J\u00e9r\u00f4me Vouillon Damien Doligez et al. The Objective Caml system. http:\/\/caml.inria.fr\/ocaml\/ 1996."},{"key":"e_1_3_2_2_15_1","volume-title":"Purely Functional Data Structures","author":"Okasaki Chris","year":"1999","unstructured":"Chris Okasaki . Purely Functional Data Structures . Cambridge University Press , 1999 . Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1999."},{"key":"e_1_3_2_2_16_1","first-page":"122","volume-title":"Proc. 18th Int. Symp.","author":"Pitts Andrew","year":"1993","unstructured":"Andrew Pitts and Ian Stark . Observable properties of higher order functions that dynamically create local names, or: What's new. In Mathematical Foundations of Computer Science , Proc. 18th Int. Symp. , pages 122 -- 141 . Springer-Verlag , 1993 . Andrew Pitts and Ian Stark. Observable properties of higher order functions that dynamically create local names, or: What's new. In Mathematical Foundations of Computer Science, Proc. 18th Int. Symp., pages 122--141. Springer-Verlag, 1993."},{"key":"e_1_3_2_2_17_1","volume-title":"Pascal Felber. Snapshot Isolation for Software Transactional Memory. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing","author":"Riegel Torvald","year":"2006","unstructured":"Torvald Riegel , Christof Fetzer , and Pascal Felber. Snapshot Isolation for Software Transactional Memory. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing , 2006 . Torvald Riegel, Christof Fetzer, and Pascal Felber. Snapshot Isolation for Software Transactional Memory. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, 2006."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003725"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596581","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:28Z","timestamp":1750235008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596581"}},"subtitle":["an efficient hierarchical and transactional database using functional programming with reference cell comparisons"],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":18,"alternative-id":["10.1145\/1596550.1596581","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596581","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596581","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}