{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:47Z","timestamp":1761597347811},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293191"},{"type":"electronic","value":"9783642293207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29320-7_11","type":"book-chapter","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T04:45:30Z","timestamp":1334637930000},"page":"158-173","source":"Crossref","is-referenced-by-count":1,"title":["Safe Locking for Multi-threaded Java"],"prefix":"10.1007","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[]},{"given":"Thi","family":"Mai Thuong Tran","sequence":"additional","affiliation":[]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Amtoft, T., Nielson, H.R., Nielson, F.: Type and Effect Systems: Behaviours for Concurrency. Imperial College Press (1999)","DOI":"10.1142\/9781848160514"},{"key":"11_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":"11_CR3","doi-asserted-by":"crossref","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: Proceedings of the 2001 ACM Conference on Programming Language Design and Implementation, pp. 59\u201369 (June 2001)","DOI":"10.1145\/381694.378811"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (2002)","DOI":"10.21236\/ADA603588"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Gerakios, P., Papaspyrou, N., Sagonas, K.: A concurrent language with a uniform treatment of regions and locks. In: Programming Language Approaches to Concurrency and Communication-eCentric Software. EPTCS, vol.\u00a017, pp. 79\u201393 (2010)","DOI":"10.4204\/EPTCS.17.7"},{"issue":"2","key":"11_CR6","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":"11_CR7","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: Object Oriented Programming: Systems, Languages, and Applications, OOPSLA 1999, pp. 132\u2013146. ACM (1999); SIGPLAN Notices","DOI":"10.1145\/320385.320395"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/568173.568182","volume-title":"ASIA-PEPM 2002: Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"F. Iwama","year":"2002","unstructured":"Iwama, F., Kobayashi, N.: A new type system for JVM lock primitives. In: ASIA-PEPM 2002: Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 71\u201382. ACM, New York (2002)"},{"issue":"2","key":"11_CR9","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"},{"key":"11_CR10","unstructured":"Johnsen, E.B., Tran, T.M.T, Owe, O., Steffen, M.: Safe locking for multi-threaded Java. Technical Report (revised version) 402, University of Oslo, Dept. of Computer Science (January 2011), \n                  \n                    www.ifi.uio.no\/~msteffen\/publications.html#techreports\n                  \n                  \n                ; A shorter version (extended abstract) has been presented at the NWPT 2010"},{"key":"11_CR11","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: Pham, S.B., Hoang, T.-H., McKay, B., Hirota, K. (eds.) Proceedings of the Second International Conference on Knowledge and Systems Engineering, KSE 2010, pp. 188-193. IEEE Computer Society (October 2010)","DOI":"10.1109\/KSE.2010.9"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-16265-7_21","volume-title":"Integrated Formal Methods","author":"T.M.T. Tran","year":"2010","unstructured":"Tran, T.M.T., Steffen, M.: Safe Commits for Transactional Featherweight Java. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 290\u2013304. Springer, Heidelberg (2010); An earlier and longer version has appeared as UiO, Dept. of Comp. Science Technical Report 392, October 2009 and appeared as extended abstract in the Proceedings of NWPT 2009"},{"key":"11_CR13","unstructured":"Oaks, S., Wong, H.: Java Threads, 3rd edn. O\u2019Reilly (September 2004)"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/314602.314606","volume":"21","author":"R. Stata","year":"1999","unstructured":"Stata, R., Abadi, M.: A type system for Java bytecode subroutines. ACM Transactions on Programming Languages and Systems\u00a021(1), 90\u2013137 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-89330-1_12","volume-title":"Programming Languages and Systems","author":"K. Suenaga","year":"2008","unstructured":"Suenaga, K.: Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol.\u00a05356, pp. 155\u2013170. Springer, Heidelberg (2008)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1375581.1375583","volume-title":"Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008","author":"T. Terauchi","year":"2008","unstructured":"Terauchi, T.: Checking race freedom via linear programming. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008, pp. 1\u201310. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29320-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:35:04Z","timestamp":1620128104000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-642-29320-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293191","9783642293207"],"references-count":16,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978-3-642-29320-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}