{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:48Z","timestamp":1761597228975,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162640"},{"type":"electronic","value":"9783642162657"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16265-7_21","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T21:45:41Z","timestamp":1285883141000},"page":"290-304","source":"Crossref","is-referenced-by-count":4,"title":["Safe Commits for Transactional Featherweight Java"],"prefix":"10.1007","author":[{"given":"Thi Mai","family":"Thuong Tran","sequence":"first","affiliation":[]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Proceedings of POPL 2008","author":"M. Abadi","year":"2008","unstructured":"Abadi, M., Birell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Proceedings of POPL 2008. ACM, New York (2008)"},{"key":"21_CR2","unstructured":"Bigliardi, G., Laneve, C.: A type system for JVM threads. In: Proceedings of 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC 2000), p. 2003 (2000)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Blundell, C., Lewis, E.C., Martin, M.K.: Subtleties of transactional memory atomicity semantics. IEEE Computer Architecture Letters\u00a05(2) (2006)","DOI":"10.1109\/L-CA.2006.18"},{"key":"21_CR4","volume-title":"ACM Conference on Programming Language Design and Implementation","author":"B.D. Carlstrom","year":"2006","unstructured":"Carlstrom, B.D., McDonald, A., Chafi, H., Chung, J., Minh, C.C., Kozyrakis, C., Oluktun, K.: The ATOMO\u03a3 transactional programming language. In: ACM Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada. ACM, New York (2006)"},{"key":"21_CR5","volume-title":"Concurrent BLAST, Internal Report, EECS Berkely","author":"A. Davare","year":"2003","unstructured":"Davare, A.: Concurrent BLAST, Internal Report, EECS Berkely. Mentors Rupak Majumdar and Ranjit Jhala, Mentors (2003)"},{"key":"21_CR6","first-page":"256","volume-title":"Proceedings of POPL 2004","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: Proceedings of POPL 2004, pp. 256\u2013267. ACM, New York (2004)"},{"key":"21_CR7","volume-title":"ACM Conference on Programming Language Design and Implementation","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Quadeer, S.: A type and effect system for atomicity. In: ACM Conference on Programming Language Design and Implementation, San Diego, California. ACM, New York (2003)"},{"key":"21_CR8","series-title":"SIGPLAN Notices","volume-title":"Eighteenth OOPSLA 2003","author":"T. Harris","year":"2003","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Eighteenth OOPSLA 2003. SIGPLAN Notices. ACM, New York (2003)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Harris, T., Peyton Jones, S.M.S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005: 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 48\u201360 (June 2005)","DOI":"10.1145\/1065944.1065952"},{"issue":"4","key":"21_CR10","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer\u00a02(4), 366\u2013381 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44829-2_17","volume-title":"Model Checking Software","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Software verification with BLAST. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 235\u2013239. Springer, Heidelberg (2003)"},{"issue":"2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/1057387.1057390","volume":"27","author":"A. Igarashi","year":"2005","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. ACM Transactions on Programming Languages and Systems\u00a027(2), 264\u2013313 (2005)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR13","series-title":"SIGPLAN Notices","first-page":"132","volume-title":"OOPSLA 1999","author":"A. Igarashi","year":"1999","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: OOPSLA 1999. SIGPLAN Notices, pp. 132\u2013146. ACM, New York (1999)"},{"key":"21_CR14","unstructured":"Isard, M., Birell, A.: Automatic mutual exclusion. In: Proceedings of the 11th Workshop on Hot Topics in Operating Systems (2007)"},{"issue":"2","key":"21_CR15","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.scico.2005.03.001","volume":"57","author":"S. Jagannathan","year":"2005","unstructured":"Jagannathan, S., Vitek, J., Welc, A., Hosking, A.: A transactional object calculus. Science of Computer Programming\u00a057(2), 164\u2013186 (2005)","journal-title":"Science of Computer Programming"},{"issue":"1-2","key":"21_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Theoretical Computer Science"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Tran, T.M.T., Owe, O., Steffen, M.: Safe typing for transactional vs. lock-based concurrency in multi-threaded Java. In: Proceedings of the Second International Conference on Knowledge and Systems Engineering, KSE 2010 (accepted for publication 2010)","DOI":"10.1109\/KSE.2010.9"},{"key":"21_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.-R., Hankin, C.L.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"issue":"5","key":"21_CR19","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10009-007-0043-0","volume":"9","author":"V.P. Ranganath","year":"2007","unstructured":"Ranganath, V.P., Hatcliff, J.: Slicing concurrent Java programs using Indus and Kaveri. International Journal of Software Tools and Technology Transfer\u00a09(5), 489\u2013504 (2007)","journal-title":"International Journal of Software Tools and Technology Transfer"},{"key":"21_CR20","unstructured":"Steffen, M., Tran, T.M.T.: Safe commits for Transactional Featherweight Java. Technical Report 392, University of Oslo, Dept. of Computer Science (October 2009)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-540-24851-4_24","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"A. Welc","year":"2004","unstructured":"Welc, A., Jagannathan, S., Hosking, A.: Transactional monitors for concurrent objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 518\u2013541. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16265-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T01:00:16Z","timestamp":1559696416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16265-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162640","9783642162657"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16265-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}