{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T18:54:14Z","timestamp":1773168854333,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"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":[[2008,1,7]]},"DOI":"10.1145\/1328438.1328448","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T09:45:40Z","timestamp":1199699140000},"page":"51-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":75,"title":["High-level small-step operational semantics for transactions"],"prefix":"10.1145","author":[{"given":"Katherine F.","family":"Moore","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Grossman","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328449"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133985"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1178597.1178610"},{"key":"e_1_3_2_1_4_1","volume-title":"The Fortress language specification, version 1.0beta","author":"Allen Eric","year":"2007","unstructured":"Eric Allen , David Chase , Joe Hallet , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L. Steele Jr ., and Sam Tobin-Hochstadt . The Fortress language specification, version 1.0beta , 2007 . http:\/\/research.sun.com\/projects\/plrg\/Publications\/fortress1.0beta.pdf. Eric Allen, David Chase, Joe Hallet, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt. The Fortress language specification, version 1.0beta, 2007. http:\/\/research.sun.com\/projects\/plrg\/Publications\/fortress1.0beta.pdf."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2006.18"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133983"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168900"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651882"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277690"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1178597.1178609"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197346"},{"key":"e_1_3_2_1_12_1","volume-title":"PODC Workshop on Concurrency and Synchronization in Java Programs","author":"Harris Tim","year":"2004","unstructured":"Tim Harris . Exceptions and side-effects in atomic blocks . In PODC Workshop on Concurrency and Synchronization in Java Programs , 2004 . Tim Harris. Exceptions and side-effects in atomic blocks. In PODC Workshop on Concurrency and Synchronization in Java Programs, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133984"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167495"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133956.1133967"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.03.001"},{"key":"e_1_3_2_1_20_1","volume-title":"8th Annual Workshop on Scheme and Functional Programming","author":"Kimball Aaron","year":"2007","unstructured":"Aaron Kimball and Dan Grossman . Software transactions meet first-class continuations . In 8th Annual Workshop on Scheme and Functional Programming , 2007 . Aaron Kimball and Dan Grossman. Software transactions meet first-class continuations. In 8th Annual Workshop on Scheme and Functional Programming, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1123003"},{"key":"e_1_3_2_1_22_1","volume-title":"Larus and Ravi Rajwar. Transactional Memory","author":"James","year":"2006","unstructured":"James R. Larus and Ravi Rajwar. Transactional Memory . Morgan & Claypool Publishers , 2006 . James R. Larus and Ravi Rajwar. Transactional Memory. Morgan & Claypool Publishers, 2006."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561927_26"},{"key":"e_1_3_2_1_26_1","volume-title":"Moore and Dan Grossman. High-level small-step operational semantics for transactions (technical companion). Technical report","author":"Katherine","year":"2007","unstructured":"Katherine F. Moore and Dan Grossman. High-level small-step operational semantics for transactions (technical companion). Technical report , Univ. of Wash. Dept . of Computer Science & Engineering, 2007 . http:\/\/www.cs.washington.edu\/homes\/kfm\/atomsfamily proofs.pdf. Katherine F. Moore and Dan Grossman. High-level small-step operational semantics for transactions (technical companion). Technical report, Univ. of Wash. Dept. of Computer Science & Engineering, 2007. http:\/\/www.cs.washington.edu\/homes\/kfm\/atomsfamily proofs.pdf."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168902"},{"key":"e_1_3_2_1_28_1","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"Moss J. Eliot B.","year":"1985","unstructured":"J. Eliot B. Moss . Nested Transactions: An Approach to Reliable Distributed Computing . The MIT Press , 1985 . J. Eliot B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. The MIT Press, 1985."},{"key":"e_1_3_2_1_29_1","volume-title":"Synchronization and Concurrency in Object-Oriented Languages (SCOOL)","author":"J. Eliot","year":"2005","unstructured":"J. Eliot B. Moss and Antony L. Hosking. Nested transactional memory: Model and preliminary architecture sketches . In Synchronization and Concurrency in Object-Oriented Languages (SCOOL) , 2005 . J. Eliot B. Moss and Antony L. Hosking. Nested transactional memory: Model and preliminary architecture sketches. In Synchronization and Concurrency in Object-Oriented Languages (SCOOL), 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086378"},{"key":"e_1_3_2_1_31_1","volume-title":"Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT)","author":"Scott Michael L.","year":"2006","unstructured":"Michael L. Scott . Sequential specification of transactional memory semantics . In Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT) , 2006 . Michael L. Scott. Sequential specification of transactional memory semantics. In Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT), 2006."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250744"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_18"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069781"}],"event":{"name":"POPL08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Francisco California USA","acronym":"POPL08","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 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328448","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328438.1328448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:07Z","timestamp":1750240567000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":34,"alternative-id":["10.1145\/1328438.1328448","10.1145\/1328438"],"URL":"https:\/\/doi.org\/10.1145\/1328438.1328448","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1328897.1328448","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}