{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:15:24Z","timestamp":1742976924310,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319189406"},{"type":"electronic","value":"9783319189413"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18941-3_5","type":"book-chapter","created":{"date-parts":[[2015,5,6]],"date-time":"2015-05-06T15:14:47Z","timestamp":1430925287000},"page":"179-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Refined Ownership:"],"prefix":"10.1007","author":[{"given":"Elias","family":"Castegren","sequence":"first","affiliation":[]},{"given":"Johan","family":"\u00d6stlund","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,7]]},"reference":[{"key":"5_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: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"5_CR2","unstructured":"Bocchino, R.: An effect system and language for deterministic-by-default parallel programming, 2010. Ph.D. thesis, University of Illinois at Urbana-Champaign (2010)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-22655-7_15","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"RL Bocchino Jr","year":"2011","unstructured":"Bocchino Jr., R.L., Adve, V.S.: Types, regions, and effects for safe programming with object-oriented parallel frameworks. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 306\u2013332. Springer, Heidelberg (2011)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bocchino, R., 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, pp. 97\u2013116 (2009)","DOI":"10.1145\/1639949.1640097"},{"key":"5_CR5","unstructured":"Bocchino, R., Aldrich, J.: Reference groups for local uniqueness. Technical report, CMU (to appear)"},{"issue":"6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1002\/spe.370","volume":"31","author":"J Boyland","year":"2001","unstructured":"Boyland, J.: Alias burying: unique variables without destructive reads. Softw. Pract. Exp. 31(6), 533\u2013553 (2001)","journal-title":"Softw. Pract. Exp."},{"issue":"1","key":"5_CR7","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/1047659.1040329","volume":"40","author":"John Tang Boyland","year":"2005","unstructured":"Boyland, J.T., Retert, W.: Connecting effects and uniqueness with adoption. In: POPL, pp. 283\u2013295 (2005)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR8","unstructured":"Castegren. E.: Laps : a general framework for modeling alias management using access permission sets, Master thesis (2012)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Cav\u00e9, V., Zhao, J., Shirako, J., Sarkar, V.: Habanero-java: the new adventures of old x10. In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, pp. 51\u201361. ACM, New York (2011)","DOI":"10.1145\/2093157.2093165"},{"key":"5_CR10","unstructured":"Clarke, D.: Object ownership and containment. Ph.D. thesis, School of Computer Science and Engineering, University of New South Wales, Australia (2002)"},{"key":"5_CR11","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. 2743, pp. 176\u2013200. Springer, Heidelberg (2003)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-89330-1_11","volume-title":"Programming Languages and Systems","author":"D Clarke","year":"2008","unstructured":"Clarke, D., Wrigstad, T., \u00d6stlund, J., Johnsen, E.B.: Minimal ownership for active objects. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 139\u2013154. Springer, Heidelberg (2008)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-642-36946-9_3","volume-title":"Aliasing in Object-Oriented Programming","author":"D Clarke","year":"2013","unstructured":"Clarke, D., \u00d6stlund, J., Sergey, I., Wrigstad, T.: Ownership types: a survey. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol. 7850, pp. 15\u201358. Springer, Heidelberg (2013)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA, pp. 292\u2013310 (2002)","DOI":"10.1145\/583854.582447"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48\u201364 (1998)","DOI":"10.1145\/286942.286947"},{"key":"5_CR16","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. 6011, pp. 145\u2013164. Springer, Heidelberg (2010)"},{"key":"5_CR17","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universes for Race Safety (2007)"},{"key":"5_CR18","unstructured":"Dietl, W.M.: Universe Types: Topology, Encapsulation, Genericity, and Tools. Ph.D., Department of Computer Science, ETH Zurich, Doctoral Thesis ETH No. 18522, December 2009"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., DeLine, R.: Adoption and focus: practical linear types for imperative programming. In: PLDI, pp. 13\u201324 (2002)","DOI":"10.1145\/543552.512532"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Gordon, C.S., Parkinson, M.J., Parsons, J., Bromfield, A., Duffy, J.: Uniqueness and reference immutability for safe parallelism. In: OOPSLA, pp. 21\u201340 (2012)","DOI":"10.1145\/2398857.2384619"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-48743-3_10","volume-title":"Object-Oriented Programming","author":"A Greenhouse","year":"1999","unstructured":"Greenhouse, A., Boyland, J.: An object-oriented effects system. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, pp. 205\u2013229. Springer, Heidelberg (1999)"},{"issue":"3","key":"5_CR22","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Lee, J.K., Palsberg, J.: Featherweight x10: a core calculus for async-finish parallelism. In: PPOPP, pp. 25\u201336 (2010)","DOI":"10.1145\/1837853.1693459"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/11531142_21","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"Y Lu","year":"2005","unstructured":"Lu, Y.: A type system for reachability and acyclicity. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 479\u2013503. Springer, Heidelberg (2005)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-35182-2_3","volume-title":"Programming Languages and Systems","author":"Y Lu","year":"2012","unstructured":"Lu, Y., Potter, J., Xue, J.: Ownership types for object synchronisation. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol. 7705, pp. 18\u201333. Springer, Heidelberg (2012)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-642-37036-6_22","volume-title":"Programming Languages and Systems","author":"Y Lu","year":"2013","unstructured":"Lu, Y., Potter, J., Xue, J.: Structural lock correlation with ownership types. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 391\u2013410. Springer, Heidelberg (2013)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1007\/978-3-642-28869-2_26","volume-title":"ESOP 2012","author":"Y Lu","year":"2012","unstructured":"Lu, Y., Potter, J., Zhang, C., Xue, J.: A type and effect system for determinism in multithreaded programs. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 518\u2013538. Springer, Heidelberg (2012)"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-25318-8_20","volume-title":"Programming Languages and Systems","author":"A Milanova","year":"2011","unstructured":"Milanova, A., Huang, W.: Static object race detection. In: Yang, H. (ed.) APLAS 2011. LNCS, vol. 7078, pp. 255\u2013271. Springer, Heidelberg (2011)"},{"key":"5_CR29","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: a type system for controlling representation exposure. In.Fernuniversit\u00e4t Hagen Programming Languages and Fundamentals of Programming (1999)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-36579-6_11","volume-title":"Compiler Construction","author":"N Nystrom","year":"2003","unstructured":"Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: an extensible compiler framework for java. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 138\u2013152. Springer, Heidelberg (2003)"},{"key":"5_CR31","unstructured":"\u00d6stlund, J., Brandauer, S., Wrigstad, T.: The joelle programming language : evolving java programs along two axes of parallel eval. In: LaME 2012 (2012)"},{"key":"5_CR32","unstructured":"\u00d6stlund, J., Wrigstad, T.: Regions as owners - a discussion on ownership-based effects in practice. In: IWACO 2011, International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (2011)"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-31057-7_8","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"J \u00d6stlund","year":"2012","unstructured":"\u00d6stlund, J., Wrigstad, T.: Multiple aggregate entry points for ownership types. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol. 7313, pp. 156\u2013180. Springer, Heidelberg (2012)"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-69824-1_11","volume-title":"Objects, Components, Models and Patterns","author":"J \u00d6stlund","year":"2008","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness, and immutability. In: Paige, R.F., Meyer, B. (eds.) TOOLS. LNCS, pp. 178\u2013197. Springer, Heidelberg (2008)"},{"issue":"10","key":"5_CR35","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1145\/1167515.1167500","volume":"41","author":"Alex Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic Java. In OOPSLA, pp. 311\u2013324 (2006)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR36","unstructured":"Servetto, M., Pearce, D. J., Groves, L., Potanin, A.: Balloon types for safe parallelisation over arbitrary object graphs. In: 4th Workshop on Determinism and Correctness in Parallel Programming (2013)"},{"key":"5_CR37","unstructured":"Strnisa, R., Parkinson, M.J.: Lightweight java. In: Archive of Formal Proofs (2011)"},{"key":"5_CR38","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. Ph.D. thesis, Royal Institute of Technology, Kista, Stockholm, May 2006"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Multicore Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18941-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T08:04:54Z","timestamp":1674201894000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-18941-3_5"}},"subtitle":["Fine-Grained Controlled Internal Sharing"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319189406","9783319189413"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18941-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}