{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:26:22Z","timestamp":1725798382269},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104300"},{"type":"electronic","value":"9783319104317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_5","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T05:27:28Z","timestamp":1407130048000},"page":"50-64","source":"Crossref","is-referenced-by-count":0,"title":["Effect-Polymorphic Behaviour Inference for Deadlock Checking"],"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","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting potential deadlocks with static analysis and run-time monitoring. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) Haifa Verification Conf. 2005. LNCS, vol.\u00a03875, pp. 191\u2013207. Springer, Heidelberg (2006)","DOI":"10.1007\/11678779_14"},{"key":"5_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":"5_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: OOPSLA 2002, Seattle, USA. ACM (2002); SIGPLAN Notices","DOI":"10.1145\/582419.582440"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Coffman Jr., E.G., Elphick, M., Shoshani, A.: System deadlocks. Computing Surveys\u00a03(2) (1971)","DOI":"10.1145\/356586.356588"},{"key":"5_CR5","unstructured":"Damas, L.: Type Assignment in Programming Languages. PhD thesis, Laboratory for Foundations of Computer Science, University of Edinburgh, CST-33-85 (1985)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programming languages. In: Ninth POPL, Albuquerque, NM. ACM (1982)","DOI":"10.1145\/582153.582176"},{"key":"5_CR7","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. Technical Report EWD-123, TU Eindhoven (1965)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Hindley, J.R.: The principal type-scheme of an object in combinatory logic. Transactions of the AMS\u00a0146 (1969)","DOI":"10.2307\/1995158"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Kidd, N., Reps, T.W., Dolby, J., Vaziri, M.: Finding concurrency-related bugs using random isolation. STTT\u00a013(6) (2011)","DOI":"10.1007\/s10009-011-0197-7"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11817949_16","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"N. Kobayashi","year":"2006","unstructured":"Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 233\u2013247. Springer, Heidelberg (2006)"},{"key":"5_CR11","unstructured":"Mossin, C.: Flow Analysis of Typed Higher-Order Programs. PhD thesis, DIKU, University of Copenhagen, Denmark. Technical Report DIKU-TR-97\/1 (1997)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Naik, M., Park, C.-S., Sen, K., Gay, D.: Effective static deadlock detection. In: 31st International Conference on Software Engineering (ICSE 2009). IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Pun, K.I., Steffen, M., Stolz, V.: Deadlock checking by a behavioral effect system for lock handling. J. of Logic and Algebraic Programming\u00a081(3) (2012)","DOI":"10.1016\/j.jlap.2011.11.001"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Pun, K.I., Steffen, M., Stolz, V.: Lock-polymorphic behaviour inference for deadlock checking. Tech. report 436, UiO, IFI (2013) (submitted for Journal Publication)","DOI":"10.1109\/TASE.2014.23"},{"key":"5_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":"5_CR16","doi-asserted-by":"crossref","unstructured":"Talpin, J.-P., Jouvelot, P.: Polymorphic Type, Region and Effect Inference. J. of Functional Programming\u00a02(3) (1992)","DOI":"10.1017\/S0956796800000393"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Vasconcelos, V., Martins, F., Cogumbreiro, T.: Type inference for deadlock detection in a multithreaded polymorphic typed assembly language. In: PLACES 2009. EPTCS, vol.\u00a017 (2009)","DOI":"10.4204\/EPTCS.17.8"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:17:57Z","timestamp":1558948677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}