{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T17:02:50Z","timestamp":1732035770846},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240114"},{"type":"electronic","value":"9783319240121"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24012-1_10","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T14:01:22Z","timestamp":1444140082000},"page":"128-142","source":"Crossref","is-referenced-by-count":1,"title":["Composable Memory Transactions for Java Using a Monadic Intermediate Language"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Bandeira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9 R.","family":"Du Bois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maur\u00edcio","family":"Pilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juliana","family":"Vizzotto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"10_CR1","unstructured":"Java Closures. WWW page. http:\/\/www.javac.info\/ , December 2008"},{"key":"10_CR2","unstructured":"The Haskell STM Benchmark. WWW page. http:\/\/www.bscmsrc.eu\/software\/haskell-stm-benchmark , October 2010"},{"key":"10_CR3","unstructured":"All About Monads. WWW page. https:\/\/wiki.haskell.org\/All_About_Monads , June 2015"},{"key":"10_CR4","unstructured":"CMTJava. WWW page. https:\/\/github.com\/rafaelleao\/CMTJava , May 2015"},{"key":"10_CR5","unstructured":"Bieniusa, A., Middelkoop, A., Thiermann, P.: Twilight in haskell: software transactional memory with safe I\/O and typed conflict management. In: Preproceedings of IFL 2010, September 2010"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-03034-5_9","volume-title":"Domain-Specific Languages","author":"AR Bois Du","year":"2009","unstructured":"Du Bois, A.R., Echevarria, M.: A domain specific language for composable memory transactions in java. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol. 5658, pp. 170\u2013186. Springer, Heidelberg (2009)"},{"key":"10_CR7","unstructured":"Bronson, N.G., Chafi, H., Olukotun, K.: Ccstm: a library-based stm for scala. In: The First Annual Scala Workshop at Scala Days (2010)"},{"issue":"6","key":"10_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1133255.1133983","volume":"41","author":"BD Carlstrom","year":"2006","unstructured":"Carlstrom, B.D., McDonald, A., Chafi, H., Chung, J., Minh, C.C., Kozyrakis, C., Olukotun, K.: The ATOMOS transactional programming language. ACM SIGPLAN Not. 41(6), 1\u201313 (2006)","journal-title":"ACM SIGPLAN Not."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11864219_14","volume-title":"Distributed Computing","author":"D Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.N.: Transactional locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol. 4167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Dragojevi\u0107, A., Guerraoui, R., Kapalka, M.: Stretching transactional memory. In: Proceedings of PLDI 2009, pp. 155\u2013165. ACM, New York, NY, USA (2009)","DOI":"10.1145\/1542476.1542494"},{"key":"10_CR11","unstructured":"Ennals, R.: Software transactional memory should not be obstruction-free. Technical report IRC-TR-06-052, Intel Research Cambridge Technical report, January 2006"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"McDonald, A., et al.: Characterization of TCC on chip-multiprocessors. In: 14th PACT 2005, pp. 63\u201374. IEEE Computer Society, Saint Louis, MO, USA, September 2005","DOI":"10.1109\/PACT.2005.11"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Marathe, V.J., et al.: Lowering the overhead of nonblocking software transactional memory. Revised, University of Rochester, Computer Science Department, May 2006","DOI":"10.1145\/1229428.1229454"},{"key":"10_CR14","unstructured":"Felber, P., Korland, G., Shavit, N.: Deuce: noninvasive concurrency with a java stm. In: Electronic Proceedings of MULTIPROG, p. 10 (2010)"},{"key":"10_CR15","volume-title":"Programming Clojure","author":"S Halloway","year":"2009","unstructured":"Halloway, S.: Programming Clojure, 1st edn. Pragmatic Bookshelf, Frisco (2009)","edition":"1"},{"issue":"11","key":"10_CR16","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/949343.949340","volume":"38","author":"T Harris","year":"2003","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. ACM SIGPLAN Not. 38(11), 388\u2013402 (2003)","journal-title":"ACM SIGPLAN Not."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton Jones, S.: Haskell on a shared-memory multiprocessor. In: Haskell Workshop 2005, pp. 49\u201361, ACM Press, September 2005","DOI":"10.1145\/1088348.1088354"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005, ACM Press (2005)","DOI":"10.1145\/1065944.1065952"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1167515.1167495","volume":"41","author":"M Herlihy","year":"2006","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: A flexible framework for implementing software transactional memory. SPNOTICES ACM SIGPLAN Not. 41, 253\u2013262 (2006)","journal-title":"SPNOTICES ACM SIGPLAN Not."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: PODC: 22th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (2003)","DOI":"10.1145\/872035.872048"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. In: Proceedings of the 20th Annual International Symposium on Computer Architecture, pp. 289\u2013300, May 1993","DOI":"10.1145\/173682.165164"},{"key":"10_CR22","volume-title":"The Art of Multiprocessor Programming","author":"M Herlihy","year":"2008","unstructured":"Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Morgan Kaufmann Publishers Inc., San Francisco (2008)"},{"key":"10_CR23","first-page":"61","volume-title":"Operating System Techniques","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Towards a theory of parallel programming. In: Hoare, C.A.R., Perrott, R.H. (eds.) Operating System Techniques, pp. 61\u201371. Academic Press, New York (1972)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11964681_8","volume-title":"Implementation and Application of Functional Languages","author":"F Huch","year":"2006","unstructured":"Huch, F., Kupke, F.: A high-level implementation of composable memory transactions in concurrent haskell. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol. 4015, pp. 124\u2013141. Springer, Heidelberg (2006)"},{"issue":"4","key":"10_CR25","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1017\/S0956796898003050","volume":"8","author":"G Hutton","year":"1998","unstructured":"Hutton, G., Meijer, E.: Monadic parsing in haskell. J. Funct. Program. 8(4), 437\u2013444 (1998)","journal-title":"J. Funct. Program."},{"issue":"3","key":"10_CR26","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight java: a minimal core calculus for java and GJ. TOPLAS 23(3), 396\u2013459 (2001)","journal-title":"TOPLAS"},{"key":"10_CR27","unstructured":"Marathe, V.J., Spear, M.F., Heriot, C., Acharya, A., Eisenstat, D., Scherer III, W.N., Scott, M.L.: Lowering the overhead of software transactional memory. Technical report TR 893, Computer Science Department, University of Rochester, Mar 2006 (Condensed version submitted for publication)"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-49201-1_7","volume-title":"Practical Aspects of Declarative Languages","author":"J Peterson","year":"1999","unstructured":"Peterson, J., Hudak, P., Elliott, C.: Lambda in motion: controlling robots with haskell. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 91\u2013105. Springer, Heidelberg (1999)"},{"key":"10_CR29","unstructured":"Peyton Jones, S.: Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In: Engineering Theories of Software Construction, pp. 47\u201396, IOS Press (2001)"},{"issue":"1","key":"10_CR30","first-page":"1","volume":"13","author":"S Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.: Haskell 98 language and libraries: the revised report. J. Funct. Program. 13(1), 1\u2013255 (2003)","journal-title":"J. Funct. Program."},{"key":"10_CR31","volume-title":"Beautiful Concurrency","author":"S Peyton Jones","year":"2007","unstructured":"Peyton Jones, S.: Beautiful Concurrency. O\u2019Reilly, Sebastopol (2007)"},{"key":"10_CR32","unstructured":"Sonmez, N., Perfumo, C., Stipic, S., Cristal, A., Unsal, O.S., Valero, M.: Unreadtvar: extending haskell software transactional memory for performance. In: Trends in Functional Programming, vol. 8. Intellect Books, Bristol (2008)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24012-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T14:53:56Z","timestamp":1653231236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24012-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240114","9783319240121"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24012-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}