{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:42Z","timestamp":1725455922301},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351815"},{"type":"electronic","value":"9783642351822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35182-2_3","type":"book-chapter","created":{"date-parts":[[2012,12,5]],"date-time":"2012-12-05T20:19:15Z","timestamp":1354738755000},"page":"18-33","source":"Crossref","is-referenced-by-count":3,"title":["Ownership Types for Object Synchronisation"],"prefix":"10.1007","author":[{"given":"Yi","family":"Lu","sequence":"first","affiliation":[]},{"given":"John","family":"Potter","sequence":"additional","affiliation":[]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24851-4_1","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"J. Aldrich","year":"2004","unstructured":"Aldrich, J., Chambers, C.: Ownership Domains: Separating Aliasing Policy from Mechanism. In: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"3_CR2","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":"3_CR3","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":"3_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL (2003)","DOI":"10.1145\/604131.604156"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: OOPSLA (2001)","DOI":"10.1145\/504282.504287"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Cameron, N., Drossopoulou, S., Noble, J., Smith, M.: Multiple Ownership. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297060"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Cascaval, C., Blundell, C., Michael, M., Cain, H.W., Wu, P., Chiras, S., Chatterjee, S.: Software transactional memory: Why is it only a research toy? ACM Queue (2008)","DOI":"10.1145\/1454456.1454466"},{"key":"3_CR8","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":"3_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA (1998)","DOI":"10.1145\/286936.286947"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-11970-5_9","volume-title":"Compiler Construction","author":"A. Craik","year":"2010","unstructured":"Craik, A., Kelly, W.: Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs. In: Gupta, R. (ed.) CC 2010. LNCS, vol.\u00a06011, pp. 145\u2013164. Springer, Heidelberg (2010)"},{"key":"3_CR11","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP (2007)"},{"key":"3_CR12","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)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1377492.1377495","volume":"30","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for Java. TOPLAS\u00a030(4), 1\u201353 (2008)","journal-title":"TOPLAS"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Frigo, M., Leiserson, C.E., Randall, K.H.: The implementation of the Cilk-5 multithreaded language. In: PLDI (1998)","DOI":"10.1145\/277650.277725"},{"key":"3_CR15","unstructured":"Goetz, B., Peierls, T., Bloch, J., Bowbeer, J., Holmes, D., Lea, D.: Java Concurrency in Practice. Addison-Wesley Professional (2005)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Golan-Gueta, G., Bronson, N.G., Aiken, A., Ramalingam, G., Sagiv, M., Yahav, E.: Automatic fine-grain locking using shape properties. In: OOPSLA (2011)","DOI":"10.1145\/2048066.2048086"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: aliasing protection in object-oriented languages. In: OOPSLA (1991)","DOI":"10.1145\/117954.117975"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Lea, D.: A Java fork\/join framework. Java Grande (2000)","DOI":"10.1145\/337449.337465"},{"issue":"5","key":"3_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer\u00a039(5), 33\u201342 (2006)","journal-title":"IEEE Computer"},{"key":"3_CR20","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.: On Ownership and Accessibility. In: Hu, Q. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"3_CR22","unstructured":"Lu, Y., Potter, J., Xue, J.: Ownership Types for Object Synchronisation. Extended version, available at \n                    \n                      http:\/\/www.cse.unsw.edu.au\/~ylu\/0813.pdf"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-73589-2_11","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2007","unstructured":"Lu, Y., Potter, J., Xue, J.: Validity Invariants and Effects. In: Bateni, M. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 202\u2013226. Springer, Heidelberg (2007)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-10672-9_12","volume-title":"Programming Languages and Systems","author":"Y. Lu","year":"2009","unstructured":"Lu, Y., Potter, J., Xue, J.: Ownership Downgrading for Ownership Types. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 144\u2013160. Springer, Heidelberg (2009)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A.: Conditional must not aliasing for static race detection. In: POPL (2007)","DOI":"10.1145\/1190216.1190265"},{"key":"3_CR27","volume-title":"The theory of database concurrency control","author":"C. Papadimitriou","year":"1986","unstructured":"Papadimitriou, C.: The theory of database concurrency control. Computer Science Press, Inc., New York (1986)"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic Java. In: OOPSLA (2006)","DOI":"10.1145\/1167473.1167500"},{"issue":"9","key":"3_CR29","doi-asserted-by":"publisher","first-page":"477","DOI":"10.5381\/jot.2007.6.9.a24","volume":"6","author":"J. Potter","year":"2007","unstructured":"Potter, J., Shanneb, A.: Incremental lock selection for composite objects. Journal of Object Technology\u00a06(9), 477\u2013494 (2007)","journal-title":"Journal of Object Technology"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Tofte, M., Talpin, J.-P.: Implementation of the typed call-by-value lambda-calculus using a stack of regions. In: POPL (1994)","DOI":"10.1145\/174675.177855"},{"key":"3_CR31","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":"3_CR32","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Is there a use for linear logic? In: PEPM (1991)","DOI":"10.1145\/115865.115894"}],"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-35182-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T14:51:29Z","timestamp":1557413489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35182-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351815","9783642351822"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35182-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}