{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:07Z","timestamp":1725670027441},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288685"},{"type":"electronic","value":"9783642288692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_26","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:44:36Z","timestamp":1332449076000},"page":"518-538","source":"Crossref","is-referenced-by-count":3,"title":["A Type and Effect System for Determinism in Multithreaded Programs"],"prefix":"10.1007","author":[{"given":"Yi","family":"Lu","sequence":"first","affiliation":[]},{"given":"John","family":"Potter","sequence":"additional","affiliation":[]},{"given":"Chenyi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Bocchino Jr., R.L., Adve, V.S., Dig, D., Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for Deterministic Parallel Java. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640097"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Bocchino Jr., R.L., Heumann, S., Honarmand, N., Adve, S.V., Adve, V.S., Welc, A., Shpeisman, T.: Safe nondeterminism in a deterministic-by-default parallel language. In: POPL (2011)","DOI":"10.1145\/1926385.1926447"},{"key":"26_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)","DOI":"10.1145\/582438.582440"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44898-5_4","volume-title":"Static Analysis","author":"J. Boyland","year":"2003","unstructured":"Boyland, J.: Checking Interference with Fractional Permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 55\u201372. Springer, Heidelberg (2003)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Burnim, J., Sen, K.: Asserting and checking determinism for multithreaded programs. In: FSE (2009)","DOI":"10.1145\/1595696.1595700"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and disjointness of type and effect. In: OOPSLA (2002)","DOI":"10.1145\/582446.582447"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-45070-2_9","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D. Clarke","year":"2003","unstructured":"Clarke, D., Wrigstad, T.: External Uniqueness is Unique Enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 176\u2013201. Springer, Heidelberg (2003)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Dodds, M., Jagannathan, S., Parkinson, M.J.: Modular reasoning for deterministic parallelism. In: POPL (2011)","DOI":"10.1145\/1926385.1926416"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-49099-X_7","volume-title":"Programming Languages and Systems","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Abadi, M.: Types for Safe Locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 91\u2013108. Springer, Heidelberg (1999)"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: aliasing protection in object-oriented languages. In: OOPSLA (1991)","DOI":"10.1145\/117954.117975"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-40007-3_26","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N.: Type Systems for Concurrent Programs. In: Aichernig, B.K. (ed.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 439\u2013453. Springer, Heidelberg (2003)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Lea, D.: A Java fork\/join framework. In: Java Grande (2000)","DOI":"10.1145\/337449.337465"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer\u00a039(5) (2006)","DOI":"10.1109\/MC.2006.180"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11785477_6","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: On Ownership and Accessibility. In: Hu, Q. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Neamtiu, I., Hicks, M., Foster, J.S., Pratikakis, P.: Contextual effects for version-consistent dynamic software updating and safe concurrent programming. In: POPL (2008)","DOI":"10.1145\/1328438.1328447"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-48092-7_6","volume-title":"Correct System Design","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R.: Type and Effect Systems. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 114\u2013136. Springer, Heidelberg (1999)"},{"key":"26_CR19","doi-asserted-by":"crossref","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.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"26_CR20","unstructured":"Pierce, B.: Types and Programming Languages. The MIT Press (2002)"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.: Locksmith: context-sensitive correlation analysis for race detection. In: PLDI (2006)","DOI":"10.1145\/1133981.1134019"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-642-00590-9_28","volume-title":"Programming Languages and Systems","author":"C. Sadowski","year":"2009","unstructured":"Sadowski, C., Freund, S.N., Flanagan, C.: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 394\u2013409. Springer, Heidelberg (2009)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Salcianu, A., Rinard, M.C.: Pointer and escape analysis for multithreaded programs. In: PPOPP (2001)","DOI":"10.1145\/379539.379553"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Sutter, H., Larus, J.: Software and the concurrency revolution. Queue\u00a03(7) (2005)","DOI":"10.1145\/1095408.1095421"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Terauchi, T., Aiken, A.: A capability calculus for concurrency and determinism. TOPLAS\u00a030(5) (2008)","DOI":"10.1145\/1387673.1387676"},{"key":"26_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-15769-1_28","volume-title":"Static Analysis","author":"M. Vechev","year":"2010","unstructured":"Vechev, M., Yahav, E., Raman, R., Sarkar, V.: Automatic Verification of Determinism for Structured Parallel Programs. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 455\u2013471. Springer, Heidelberg (2010)"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Xie, X., Xue, J.: Acculock: Accurate and efficient detection of data races. In: CGO (2011)","DOI":"10.1109\/CGO.2011.5764688"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28869-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:13:42Z","timestamp":1620126822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}