{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:16:48Z","timestamp":1732033008872},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030338"},{"type":"electronic","value":"9783642030345"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03034-5_9","type":"book-chapter","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T05:08:34Z","timestamp":1246424914000},"page":"170-186","source":"Crossref","is-referenced-by-count":3,"title":["A Domain Specific Language for Composable Memory Transactions in Java"],"prefix":"10.1007","author":[{"given":"Andr\u00e9 Rauber","family":"Du Bois","sequence":"first","affiliation":[]},{"given":"Marcos","family":"Echevarria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"All About Monads. WWW page (December 2008), http:\/\/www.haskell.org\/all_about_monads\/html\/index.html"},{"key":"9_CR2","unstructured":"Java Closures. WWW page (December 2008), http:\/\/www.javac.info\/"},{"key":"9_CR3","unstructured":"JSR Proposal: Closures for Java. WWW page (December 2008), http:\/\/www.javac.info\/consensus-closures-jsr.html"},{"issue":"6","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1133255.1133983","volume":"41","author":"B.D. 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 Notices\u00a041(6), 1\u201313 (2006)","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR5","first-page":"102","volume-title":"Transactional memory coherence and consistency","author":"L. Hammond","year":"2004","unstructured":"Hammond, L., Wong, V., Chen, M., Carlstrom, B.D., Davis, J.D., Hertzberg, B., Prabhu, M.K., Wijaya, H., Kozyrakis, C., Olukotun, K.: Transactional memory coherence and consistency, New York, NY, USA, vol.\u00a032, p. 102. ACM, New York (2004)"},{"issue":"11","key":"9_CR6","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 Notices\u00a038(11), 388\u2013402 (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR7","volume-title":"PPoPP 2005","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005. ACM Press, New York (2005)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: A flexible framework for implementing software transactional memory. SPNOTICES: ACM SIGPLAN Notices\u00a041 (2006)","DOI":"10.1145\/1167515.1167495"},{"key":"9_CR9","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":"9_CR10","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: Architectural support for lock-free data structures. In: Proceedings of the Twentieth Annual International Symposium on Computer Architecture (1993)","DOI":"10.1145\/165123.165164"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Towards a theory of parallel programming. Operating System Techniques, 61\u201371 (1972)","DOI":"10.1007\/978-1-4757-3472-0_6"},{"key":"9_CR12","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.\u00a04015, pp. 124\u2013141. Springer, Heidelberg (2006)"},{"issue":"4","key":"9_CR13","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. Journal of Functional Programming\u00a08(4), 437\u2013444 (1998)","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"9_CR14","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\u00a023(3), 396\u2013459 (2001)","journal-title":"TOPLAS"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Larus, J., Rajwar, R.: Transactional Memory. Morgan & Claypool (2006)","DOI":"10.2200\/S00070ED1V01Y200611CAC002"},{"issue":"5","key":"9_CR16","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer\u00a039(5), 33\u201342 (2006)","journal-title":"IEEE Computer"},{"key":"9_CR17","unstructured":"Marathe, V.J., Spear, M.F., Heriot, C., Acharya, A., Eisenstat, D., Scherer III, W.N., Scott, M.L.: Lowering the overhead of nonblocking software transactional memory. revised, University of Rochester, Computer Science Department (May 2006)"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/PACT.2005.11","volume-title":"Proc. 14th International Conference on Parallel Architecture and Compilation Techniques (14th PACT 2005)","author":"A. McDonald","year":"2005","unstructured":"McDonald, A., Chung, J., Chafi, H., Minh, C.C., Carlstrom, B.D., Hammond, L., Kozyrakis, C., Olukotun, K.: Characterization of TCC on chip-multiprocessors. In: Proc. 14th International Conference on Parallel Architecture and Compilation Techniques (14th PACT 2005), pp. 63\u201374. IEEE Computer Society, Los Alamitos (2005)"},{"key":"9_CR19","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.\u00a01551, pp. 91\u2013105. Springer, Heidelberg (1999)"},{"key":"9_CR20","first-page":"47","volume-title":"Engineering theories of software construction","author":"S. Peyton Jones","year":"2001","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, Amsterdam (2001)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.: Haskell 98 language and libraries: the revised report. Journal of Functional Programming\u00a01(13) (2003)","DOI":"10.1017\/S0956796803001515"},{"key":"9_CR22","volume-title":"Beautiful Concurrency","author":"S. Peyton Jones","year":"2007","unstructured":"Peyton Jones, S.: Beautiful Concurrency. O\u2019Reilly, Sebastopol (2007)"},{"key":"9_CR23","first-page":"494","volume-title":"ISCA","author":"R. Rajwar","year":"2005","unstructured":"Rajwar, R., Herlihy, M., Lai, K.K.: Virtualizing transactional memory. In: ISCA, pp. 494\u2013505. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"6","key":"9_CR24","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1109\/MM.2003.1261395","volume":"23","author":"R. Rajwar","year":"2003","unstructured":"Rajwar, R., James, G.: Transactional execution: Toward reliable, high-performance multithreading. IEEE Micro.\u00a023(6), 117\u2013125 (2003)","journal-title":"IEEE Micro."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. DISTCOMP: Distributed Computing, 10 (1997)","DOI":"10.1007\/s004460050028"}],"container-title":["Lecture Notes in Computer Science","Domain-Specific Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03034-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T21:11:03Z","timestamp":1685049063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03034-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030338","9783642030345"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03034-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}