{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T09:18:49Z","timestamp":1777022329378,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540698234","type":"print"},{"value":"9783540698241","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69824-1_11","type":"book-chapter","created":{"date-parts":[[2008,7,11]],"date-time":"2008-07-11T07:29:24Z","timestamp":1215761364000},"page":"178-197","source":"Crossref","is-referenced-by-count":17,"title":["Ownership, Uniqueness, and Immutability"],"prefix":"10.1007","author":[{"given":"Johan","family":"\u00d6stlund","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]},{"given":"Beatrice","family":"\u00c5kerblom","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Object-Oriented Technology. ECOOP 2004 Workshop Reader","author":"J. Aldrich","year":"2005","unstructured":"Aldrich, J., Chambers, C.: Ownership domains: Separating aliasing policy from mechanism. In: Malenfant, J., \u00d8stvold, B.M. (eds.) ECOOP 2004. LNCS, vol.\u00a03344. Springer, Heidelberg (2005)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bierhoff, K., Aldrich, J.: Modular typestate checking of aliased objects. In: OOPSLA (2007)","DOI":"10.21236\/ADA465507"},{"key":"11_CR3","unstructured":"Bokowski, B., Vitek, J.: Confined Types. In: OOPSLA (1999)"},{"key":"11_CR4","unstructured":"Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, Electrical Engineering and Computer Science. MIT (February 2004)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Alias burying: Unique variables without destructive reads. Software \u2014 Practice and Experience (2001)","DOI":"10.1002\/spe.370"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Checking interference with fractional permissions. In: Static Analysis: 10th International Symposium (2003)","DOI":"10.1007\/3-540-44898-5_4"},{"key":"#cr-split#-11_CR7.1","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Why we should not add readonly to Java (yet). Journal of Object Technology (2006);","DOI":"10.5381\/jot.2006.5.5.a1"},{"key":"#cr-split#-11_CR7.2","unstructured":"Special issue: ECOOP 2005 Workshop FTfJP"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_2","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"J. Boyland","year":"2001","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for Sharing: A Generalization of Uniqueness and Read-Only. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072. Springer, Heidelberg (2001)"},{"key":"11_CR9","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia (2001)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA (2002)","DOI":"10.1145\/582419.582447"},{"key":"11_CR11","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":"11_CR12","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness. In: FOOL (2003)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","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. Springer, Heidelberg (2003)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_3","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"W. Dietl","year":"2007","unstructured":"Dietl, W., Drossopoulou, S., M\u00fcller, P.: Generic Universe Types. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609. Springer, Heidelberg (2007)"},{"issue":"8","key":"11_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5381\/jot.2005.4.8.a1","volume":"4","author":"W. Dietl","year":"2005","unstructured":"Dietl, W., M\u00fcller, P.: Universes: Lightweight Ownership for JML. Journal of Object Technology\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48743-3_10","volume-title":"ECOOP \u201999 - 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, vol.\u00a01628. Springer, Heidelberg (1999)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_24","volume-title":"Programming Languages and Systems","author":"C. Haack","year":"2007","unstructured":"Haack, C., Poll, E., Sch\u00e4fer, J., Schubert, A.: Immutable Objects for a Java-like Language. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421. Springer, Heidelberg (2007)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: Aliasing protection in object-oriented languages. In: OOPSLA (November 1991)","DOI":"10.1145\/117954.117975"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Kniesel, G., Theisen, D.: JAC\u2014access right based encapsulation for Java. Software \u2014 Practice and Experience (2001)","DOI":"10.1002\/spe.372"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Leino, K.R.M.: Data Groups: Specifying the Modification of Extended State. In: OOPSLA (1998)","DOI":"10.1145\/286936.286953"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P.: Modular Specification and Verification of Object-Oriented Programs. PhD thesis, FernUniversit\u00e4t Hagen (2001)","DOI":"10.1007\/3-540-45651-1"},{"key":"11_CR24","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: A type system for controlling representation exposure. Technical report, Fernuniversit\u00e4t Hagen (1999)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P., Rudich, A.: Ownership transfer in Universe Types. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297061"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445. Springer, Heidelberg (1998)"},{"key":"11_CR27","unstructured":"Skoglund, M., Wrigstad, T.: Alias control with read-only references. In: Sixth Conference on Computer Science and Informatics (March 2002)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Talpin, J.-P., Jouvelot, P.: Polymorphic type, region and effect inference. Journal of Functional Programming (1992)","DOI":"10.1017\/S0956796800000393"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: Adding reference immutability to Java. In: OOPSLA (2005)","DOI":"10.1145\/1094811.1094828"},{"key":"11_CR30","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (May 2006)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Type-based confinement. Journal of Functional Programming\u00a015(6) (2005)","DOI":"10.1017\/S0956796805005691"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Artzi, S., Kie\u017cun, A., Ernst, M.D.: Object and reference immutability using Java generics. Technical Report MIT-CSAIL-TR-2007-018, MITCSAIL (2007)","DOI":"10.1145\/1287624.1287637"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69824-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T12:29:39Z","timestamp":1557664179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69824-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540698234","9783540698241"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69824-1_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}