{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:45Z","timestamp":1725746805309},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_3","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T09:26:23Z","timestamp":1377768383000},"page":"34-50","source":"Crossref","is-referenced-by-count":2,"title":["Deadlock Checking by Data Race Detection"],"prefix":"10.1007","author":[{"given":"Ka I","family":"Pun","sequence":"first","affiliation":[]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/1119479.1119480","volume":"28","author":"M Abadi","year":"2006","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: Static race detection for Java. ACM Transactions on Programming Languages and Systems 28(2), 207\u2013255 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR2","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":"3_CR3","unstructured":"Beckman, N.E.: A survey of methods for preventing race conditions (May 2006), \n                    http:\/\/www.nelsbeckman.com\/publications.html"},{"key":"3_CR4","unstructured":"Birrell, A.D.: An introduction to programming with threads. Research Report 35, Digital Equipment Corporation Research Center (1989)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Object Oriented Programming: Systems, Languages, and Applications, OOPSLA 2002, Seattle, USA. ACM (November 2002); SIGPLAN Notices","DOI":"10.1145\/582419.582440"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: Object Oriented Programming: Systems, Languages, and Applications, OOPSLA 2001. ACM (2001)","DOI":"10.1145\/504282.504287"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"EG Coffman Jr","year":"1971","unstructured":"Coffman Jr., E.G., Elphick, M., Shoshani, A.: System deadlocks. Computing Surveys 3(2), 67\u201378 (1971)","journal-title":"Computing Surveys"},{"issue":"3","key":"3_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J Corbett","year":"1996","unstructured":"Corbett, J.: Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering 22(3), 161\u2013180 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR9","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. Technical Report EWD-123, Technological University, Eindhoven (1965); Reprinted in [12]"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Type inference against races. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, pp. 116\u2013132. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27864-1_11"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: ACM Conference on Programming Language Design and Implementation, PLDI. ACM (June 1993); SIGPLAN Notices 28(6)","DOI":"10.1145\/173262.155113"},{"key":"3_CR12","unstructured":"Genyus, F.: Programming Languages. Academic Press (1968)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Grossman, D.: Type-safe multithreading in Cyclone. In: TLDI 2003: Types in Language Design and Implementation, pp. 13\u201325. ACM (2003)","DOI":"10.1145\/604174.604177"},{"issue":"4\u20135","key":"3_CR14","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s00236-005-0179-x","volume":"42","author":"N Kobayashi","year":"2005","unstructured":"Kobayashi, N.: Type-based information flow analysis for the \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \n                          \u03c0\n                        \n                      \n                    \n                  -calculus. Acta Informatica 42(4\u20135), 291\u2013347 (2005)","journal-title":"Acta Informatica"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for Java. In: ACM Conference on Programming Language Design and Implementation, PLDI, Ottawa, Ontario, Canada, pp. 308\u2013319. ACM (June 2006)","DOI":"10.1145\/1133255.1134018"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Pun, K.I., Steffen, M., Stolz, V.: Deadlock checking by a behavioral effect system for lock handling. Journal of Logic and Algebraic Programming 81(3), 331\u2013354 (2012); A preliminary version was published as University of Oslo, Dept. of Computer Science Technical, Report 404 (March 2011)","DOI":"10.1016\/j.jlap.2011.11.001"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Pun, K.I., Steffen, M., Stolz, V.: Deadlock checking by data race detection. Technical report 421, University of Oslo, Dept. of Informatics (October 2012)","DOI":"10.1007\/978-3-642-40213-5_3"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Rinard, M.: Analysis of multithreaded programs. In: Cousot, P. (ed.) SAS 2001. LNCS, vol. 2126, pp. 1\u201319. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-47764-0_1"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.: Automated type-based analysis of data races and atomicity. In: Ferrante, J., Padua, D.A., Wexelblat, R.L. (eds.) PPoPP 2005, pp. 83\u201394. ACM (2005)","DOI":"10.1145\/1065944.1065956"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Seidl, H., Vojdani, V.: Region analysis for race detection. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol. 5673, pp. 171\u2013187. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-03237-0_13"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Vasconcelos, V., Martins, F., Cogumbreiro, T.: Type inference for deadlock detection in a multithreaded polymorphic typed assembly language. In: Beresford, A.R., Gay, S.J. (eds.) Pre-Proceedings of the Workshop on Programming Language Approaches to Concurrent and Communication-Centric Software, PLACES 2009. EPTCS, vol. 17, pp. 95\u2013109 (2009)","DOI":"10.4204\/EPTCS.17.8"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:27:03Z","timestamp":1558052823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}