{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:27:21Z","timestamp":1743049641853,"version":"3.40.3"},"publisher-location":"New Delhi","reference-count":15,"publisher":"Springer India","isbn-type":[{"type":"print","value":"9788132226512"},{"type":"electronic","value":"9788132226536"}],"license":[{"start":{"date-parts":[[2015,11,19]],"date-time":"2015-11-19T00:00:00Z","timestamp":1447891200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-81-322-2653-6_16","type":"book-chapter","created":{"date-parts":[[2015,11,18]],"date-time":"2015-11-18T10:47:51Z","timestamp":1447843671000},"page":"235-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Implementing Software Transactional Memory Using STM Haskell"],"prefix":"10.1007","author":[{"given":"Ammlan","family":"Ghosh","sequence":"first","affiliation":[]},{"given":"Rituparna","family":"Chaki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 204\u2013213. ACM (1995)","DOI":"10.1145\/224964.224987"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA \u201903: Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 388\u2013402. ACM Press (2003)","DOI":"10.1145\/949338.949340"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Gidenstam, A., Papatriantafilou, M.: LFthreads: a lock-free thread library. In: Principles of Distributed System, pp. 217\u2013231. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-77096-1_16"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Fernandes, S.M., Cachopo, J.: Lock-free and scalable multi-version software transactional memory. In: ACM SIGPLAN Notices, vol. 46, no. 8, pp. 179\u2013188. ACM (2011)","DOI":"10.1145\/2038037.1941579"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Herlihy, M.P., Luchangco, V., Moir, M., Scherer, W.M.: Software transactional memory for dynamic-sized data structures. In: Proceedings of the 22nd Annual Symposium on Principles of Distributed Computing (2003)","DOI":"10.1145\/872035.872048"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Tabba, F., Wang, C., Goodman, J.R., Moir, M.: NZTM: non-blocking zero-indirection transactional memory. In: Proceedings of the 21st ACM Annual Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 204\u2013213. ACS (2009)","DOI":"10.1145\/1583991.1584048"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Ghosh, A., Chaki, N.: The new OFTM algorithm toward abort-free execution. In: Proceedings of the 9th International Conference on Distributed Computing and Information Technology, pp. 255\u2013266. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-36071-8_20"},{"key":"16_CR8","unstructured":"Dolev, S., Fatourou, P., Kosmas, E.: Abort Free SemanticTM by Dependency Aware Scheduling of Transactional Instructions, Preprint, TRANSACT\u201913 (2013)"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/11737414_6","volume-title":"Functional and Logic Programming","author":"Anthony Discolo","year":"2006","unstructured":"Discolo, A., Harris, T., Marlow, S., Jones, S.P., Singh, S.: Lock free data structures using STM in Haskell. In: Functional and Logic Programming, pp. 65\u201380. Springer, Berlin (2006)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005. ACM Press, New York (2005)","DOI":"10.1145\/1065944.1065952"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-642-22045-6_3","volume-title":"Software Composition","author":"Andr\u00e9 Rauber Du Bois","year":"2011","unstructured":"Du Bois, A.R.: An implementation of composable memory transactions in Haskell. In: Software Composition, pp. 34\u201350. Springer, Berlin (2011)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Borgstr\u00f6m, J., Bhargavan, K., Gordon, A.D.: A compositional theory for STM Haskell. In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, pp. 69\u201380. ACM (2009)","DOI":"10.1145\/1596638.1596648"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Singh, S.: A tutorial on parallel and concurrent programming in Haskell. In: Advanced Functional Programming, pp. 267\u2013305. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04652-0_6"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Marlow, S.: Parallel and Concurrent Programming in Haskell, 1st, edn. O\u2019Reilly Media, Inc. (2013)","DOI":"10.1007\/978-3-642-32096-5_7"},{"key":"16_CR15","unstructured":"O\u2019Sullivan, B., Goerzen, J., Stewart, D.: Real World Haskell, 1st edn. O\u2019Reilly Media, Inc. (2008)"}],"container-title":["Advances in Intelligent Systems and Computing","Advanced Computing and Systems for Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-81-322-2653-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:06:15Z","timestamp":1559304375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-81-322-2653-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,19]]},"ISBN":["9788132226512","9788132226536"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-81-322-2653-6_16","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015,11,19]]},"assertion":[{"value":"19 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}