{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:01Z","timestamp":1725515341610},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_32","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"510-526","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Mutual Exclusion and Atomicity Checks"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Proc.\u00a035th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 63\u201374 (2008)","DOI":"10.1145\/1328438.1328449"},{"key":"32_CR2","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management. In: Proc.\u00a02002 USENIX Annual Technical Conference, pp. 289\u2013302 (2002)"},{"key":"32_CR3","unstructured":"Allen, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J.-W., Ryu, S., Steele, G.L., Jr., Tobin-Hochstadt, S.: The Fortress language specification, v1.0\u03b2. Technical report, Sun Microsystems (March 2007)"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-74407-8_19","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"G. Boudol","year":"2007","unstructured":"Boudol, G.: Fair cooperative multithreading. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 272\u2013286. Springer, Heidelberg (2007)"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc.\u00a032nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209\u2013220 (2005)","DOI":"10.1145\/1040305.1040323"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Carlstrom, B.D., McDonald, A., Chafi, H., Chung, J., Minh, C.C., Kozyrakis, C., Olukotun, K.: The Atomos transactional programming language. In: PLDI 2006: Proc.\u00a02006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1\u201313 (2006)","DOI":"10.1145\/1133981.1133983"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc.\u00a02003 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 338\u2013349 (2003)","DOI":"10.1145\/781131.781169"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: Proc.\u00a0ACM SIGMOD 1987 Annual Conference, pp. 249\u2013259 (1987)","DOI":"10.1145\/38714.38742"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Proc.\u00a018th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 388\u2013402 (2003)","DOI":"10.1145\/949305.949340"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005: Proc.\u00a010th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 48\u201360 (2005)","DOI":"10.1145\/1065944.1065952"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Harris, T., Plesko, M., Shinnar, A., Tarditi, D.: Optimizing memory transactions. In: Proc.\u00a02006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 14\u201325 (2006)","DOI":"10.1145\/1133981.1133984"},{"key":"32_CR12","unstructured":"Isard, M., Birrell, A.: Automatic mutual exclusion. In: Proc.\u00a011th Workshop on Hot Topics in Operating Systems (2007)"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/10722581_4","volume-title":"Modular Programming Languages","author":"P. Roe","year":"2000","unstructured":"Roe, P., Szyperski, C.A.: Mianjin: A parallel language with a type system that governs global system behaviour. In: Weck, W., Gutknecht, J. (eds.) JMLC 2000. LNCS, vol.\u00a01897, pp. 38\u201350. Springer, Heidelberg (2000)"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proc.\u00a014th Annual ACM Symposium on Principles of Distributed Computing, pp. 204\u2013213 (1995)","DOI":"10.1145\/224964.224987"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Kay, A., Behrends, R., Young, M.: Transactions with isolation and cooperation. In: Proc.\u00a022nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 191\u2013210 (2007)","DOI":"10.1145\/1297027.1297042"},{"issue":"1","key":"32_CR16","first-page":"38","volume":"115","author":"K. Andrew","year":"1994","unstructured":"Andrew, K.: Wright and Matthias Felleisen. A syntactic approach to type soundness\u00a0115(1), 38\u201394 (1994)","journal-title":"A syntactic approach to type soundness"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T21:47:48Z","timestamp":1557611268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}