{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:33:26Z","timestamp":1774838006684,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":84,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642369452","type":"print"},{"value":"9783642369469","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36946-9_9","type":"book-chapter","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T02:18:49Z","timestamp":1363832329000},"page":"233-269","source":"Crossref","is-referenced-by-count":10,"title":["Immutability"],"prefix":"10.1007","author":[{"given":"Alex","family":"Potanin","sequence":"first","affiliation":[]},{"given":"Johan","family":"\u00d6stlund","sequence":"additional","affiliation":[]},{"given":"Yoav","family":"Zibin","sequence":"additional","affiliation":[]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/978-3-642-36946-9_2","volume-title":"Aliasing in Object-Oriented Programming","author":"J. Hogg","year":"2013","unstructured":"Hogg, J., Lea, D., Wills, A., de Champeaux, D., Holt, R.: The Geneva Convention on the Treatment of Object Aliasing. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 7\u201314. Springer, Heidelberg (2013)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Aliasing in Object-Oriented Programming","year":"2013","unstructured":"Clarke, D., Noble, J., Wrigstad, T. (eds.): Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850. Springer, Heidelberg (2013)"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1028976.1028980","volume-title":"OOPSLA","author":"A. Birka","year":"2004","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: OOPSLA, pp. 35\u201349. ACM Press, New York (2004)"},{"key":"9_CR4","volume-title":"FTfJP","author":"M. Skoglund","year":"2001","unstructured":"Skoglund, M., Wrigstad, T.: A mode system for read-only references in Java. In: FTfJP. Springer, Heidelberg (2001)"},{"key":"9_CR5","first-page":"202","volume-title":"Java Grande","author":"I. Pechtchanski","year":"2002","unstructured":"Pechtchanski, I., Sarkar, V.: Immutability specification and its applications. In: Java Grande, pp. 202\u2013211. ACM Press, Seattle (2002)"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1094811.1094828","volume-title":"OOPSLA","author":"M.S. Tschantz","year":"2005","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: Adding reference immutability to Java. In: OOPSLA, pp. 211\u2013230. ACM Press, New York (2005)"},{"issue":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1002\/spe.372","volume":"31","author":"G. Kniesel","year":"2001","unstructured":"Kniesel, G., Theisen, D.: JAC \u2014 access right based encapsulation for Java. Software: Practice and Experience\u00a031(6), 555\u2013576 (2001)","journal-title":"Software: Practice and Experience"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 2\u201327. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45337-7_2"},{"issue":"8","key":"9_CR9","doi-asserted-by":"publisher","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 (JOT)\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology (JOT)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Artzi, S., Kiezun, A., Ernst, M.D.: Object and reference immutability using Java generics. In: Foundations of Software Engineering (2007)","DOI":"10.1145\/1287624.1287637"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and immutability in generic java. In: OOPSLA, pp. 598\u2013617. ACM Press (2010)","DOI":"10.1145\/1932682.1869509"},{"key":"9_CR12","series-title":"LNBIP","first-page":"178","volume-title":"TOOLS EUROPE 2008","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 EUROPE 2008. LNBIP, vol.\u00a011, pp. 178\u2013197. Springer, Heidelberg (2008)"},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M.D., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. STTT\u00a07(3), 212\u2013232 (2005)","journal-title":"STTT"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1145\/940071.940097","volume-title":"ESEC\/FSE","author":"O. Tkachuk","year":"2003","unstructured":"Tkachuk, O., Dwyer, M.B.: Adapting side effects analysis for modular program model checking. In: ESEC\/FSE, pp. 188\u2013197. ACM Press, New York (2003)"},{"issue":"11","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1031::AID-CPE354>3.0.CO;2-O","volume":"9","author":"L.R. Clausen","year":"1997","unstructured":"Clausen, L.R.: A Java bytecode optimizer using side-effect analysis. Concurrency: Practice and Experience\u00a09(11), 1031\u20131045 (1997)","journal-title":"Concurrency: Practice and Experience"},{"key":"9_CR16","unstructured":"S\u0103lcianu, A.: Pointer analysis for Java programs: Novel techniques and applications. PhD thesis, MIT Dept. of EECS (September 2006)"},{"key":"9_CR17","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"2000","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, New York (2000)"},{"key":"9_CR18","volume-title":"M-TOOS","author":"S. Artzi","year":"2006","unstructured":"Artzi, S., Ernst, M.D., Kie\u017cun, A., Pacheco, C., Perkins, J.H.: Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In: M-TOOS. ACM Press, Portland (2006)"},{"key":"9_CR19","first-page":"292","volume-title":"ICECCS","author":"L. Mariani","year":"2005","unstructured":"Mariani, L., Pezz\u00e8, M.: Behavior capture and test: Automated analysis of component integration. In: ICECCS, pp. 292\u2013301. IEEE, Tokyo (2005)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/11785477_23","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"T. Xie","year":"2006","unstructured":"Xie, T.: Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 380\u2013403. Springer, Heidelberg (2006)"},{"issue":"2","key":"9_CR21","first-page":"99","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE TSE\u00a027(2), 99\u2013123 (2001)","journal-title":"IEEE TSE"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1138912.1138918","volume-title":"WODA","author":"V. Dallmeier","year":"2006","unstructured":"Dallmeier, V., Lindig, C., Wasylkowski, A., Zeller, A.: Mining object behavior with ADABU. In: WODA, pp. 17\u201324. ACM Press, New York (2006)"},{"issue":"7","key":"9_CR23","first-page":"665","volume":"29","author":"J.J. Dolado","year":"2003","unstructured":"Dolado, J.J., Harman, M., Otero, M.C., Hu, L.: An empirical investigation of the influence of a type of side effects on program comprehension. IEEE TSE\u00a029(7), 665\u2013670 (2003)","journal-title":"IEEE TSE"},{"key":"9_CR24","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. AW (2005)"},{"key":"9_CR25","unstructured":"Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT Dept. of EECS (February 2004)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-30579-8_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. S\u0103lcianu","year":"2005","unstructured":"S\u0103lcianu, A., Rinard, M.: Purity and Side Effect Analysis for Java Programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 199\u2013215. Springer, Heidelberg (2005)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Rountev, A.: Precise identification of side-effect-free methods in Java. In: Proceedings of ICSM, pp. 82\u201391. IEEE Computer Society (2004)","DOI":"10.1109\/ICSM.2004.1357793"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G., Zhang, S.: Interprocedural side effect analysis with pointer aliasing. In: Proceedings of PLDI, pp. 56\u201367 (1993)","DOI":"10.1145\/173262.155096"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-19861-8_7","volume-title":"Compiler Construction","author":"D.J. Pearce","year":"2011","unstructured":"Pearce, D.J.: JPure: A Modular Purity System for Java. In: Knoop, J. (ed.) CC 2011. LNCS, vol.\u00a06601, pp. 104\u2013123. Springer, Heidelberg (2011)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","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, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"key":"9_CR31","series-title":"Software Series","volume-title":"The C Programming Language","author":"B.W. Kernighan","year":"1988","unstructured":"Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 2nd edn. Software Series. Prentice Hall, Englewood Cliffs (1988)","edition":"2"},{"key":"9_CR32","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"2000","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Boston (2000)"},{"key":"9_CR33","unstructured":"Meyers, S.: Effective C++, 2nd edn. Addison-Wesley (1997)"},{"key":"9_CR34","unstructured":"Morris, J.H.: Sniggering type checker experiment. Experiment at Xerox PARC (1978); Personal communication (May 2004)"},{"issue":"8","key":"9_CR35","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1145\/359763.359800","volume":"20","author":"J.D. Gannon","year":"1977","unstructured":"Gannon, J.D.: An experimental evaluation of data type conventions. Communications of the ACM\u00a020(8), 584\u2013595 (1977)","journal-title":"Communications of the ACM"},{"issue":"4","key":"9_CR36","first-page":"302","volume":"24","author":"L. Prechelt","year":"1998","unstructured":"Prechelt, L., Tichy, W.F.: A controlled experiment to assess the benefits of procedure argument type checking. IEEE TSE\u00a024(4), 302\u2013312 (1998)","journal-title":"IEEE TSE"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: A theory of type qualifiers. In: PLDI, pp. 192\u2013203 (June 1999)","DOI":"10.1145\/301631.301665"},{"key":"9_CR38","unstructured":"Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press (1990)"},{"key":"9_CR39","unstructured":"Leroy, X.: The Objective Caml system, release 3.07 (September 29, 2003) with Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J."},{"key":"9_CR40","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/286936.286947","volume-title":"OOPSLA","author":"D. Clarke","year":"1998","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership Types for Flexible Alias Protection. In: OOPSLA, pp. 48\u201364. ACM Press, Vancouver (1998)"},{"key":"9_CR41","volume-title":"Effective Java Programming Language Guide","author":"J. Bloch","year":"2001","unstructured":"Bloch, J.: Effective Java Programming Language Guide. Addison Wesley, Boston (2001)"},{"key":"9_CR42","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/1218563.1218584","volume-title":"AOSD","author":"S.S. Huang","year":"2007","unstructured":"Huang, S.S., Zook, D., Smaragdakis, Y.: cJ: Enhancing Java with safe type conditions. In: AOSD, pp. 185\u2013198. ACM Press, New York (2007)"},{"key":"9_CR43","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.\u00a07850, pp. 15\u201358. Springer, Heidelberg (2013)"},{"key":"9_CR44","first-page":"292","volume-title":"OOPSLA","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, Encapsulation, and the Disjointness of Type and Effect. In: OOPSLA, pp. 292\u2013310. ACM Press, Seattle (2002)"},{"key":"9_CR45","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Why we should not add readonly to Java (yet). Journal of Object Technology (2006); Special issue: ECOOP 2005 Workshop FTfJP","DOI":"10.5381\/jot.2006.5.5.a1"},{"key":"9_CR46","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Sweden (May 2006)"},{"key":"9_CR47","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":"9_CR48","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia (2001)"},{"key":"9_CR49","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1145\/1167473.1167500","volume-title":"OOPSLA","author":"A. Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic Java. In: OOPSLA, pp. 311\u2013324. ACM Press, New York (2006)"},{"key":"9_CR50","first-page":"292","volume-title":"OOPSLA","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA, pp. 292\u2013310. ACM Press, New York (2002)"},{"key":"9_CR51","unstructured":"Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, Electrical Engineering and Computer Science, MIT (February 2004)"},{"key":"9_CR52","unstructured":"Birka, A.: Compiler-enforced immutability for the Java language. Technical Report MIT-LCS-TR-908, MIT Lab for Computer Science (June 2003); Revision of Master\u2019s thesis"},{"key":"9_CR53","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/286936.286957","volume-title":"OOPSLA","author":"G. Bracha","year":"1998","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to the Java programming language. In: OOPSLA, pp. 183\u2013200. ACM Press, New York (1998)"},{"issue":"3","key":"9_CR54","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 Transactions on Programming Languages and Systems (TOPLAS)\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"9_CR55","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\u2013241. Springer, Heidelberg (2003)"},{"key":"9_CR56","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (May 2006)"},{"key":"9_CR57","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: A type system for controlling representation exposure. Technical report, Fernuniversit\u00e4t Hagen (1999)"},{"key":"9_CR58","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":"9_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-642-03013-0_24","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"C. Haack","year":"2009","unstructured":"Haack, C., Poll, E.: Type-Based Object Immutability with Flexible Initialization. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 520\u2013545. Springer, Heidelberg (2009)"},{"key":"9_CR60","unstructured":"Ernst, M.D.: Type annotations specification (jsr 308), http:\/\/pag.csail.mit.edu\/jsr308\/ (September 12, 2008)"},{"key":"9_CR61","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Why we should not add readonly to Java (yet). In: FTfJP, Glasgow, Scotland. Springer (July 2005)","DOI":"10.5381\/jot.2006.5.5.a1"},{"key":"9_CR62","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL, pp. 47\u201357 (January 1988)","DOI":"10.1145\/73560.73564"},{"key":"9_CR63","doi-asserted-by":"crossref","unstructured":"Talpin, J.P., Jouvelot, P.: The type and effect discipline. In: LICS, pp. 162\u2013173 (June 1992)","DOI":"10.1109\/LICS.1992.185530"},{"key":"9_CR64","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., Riis Nielson, H.: Type and Effect Systems. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 114\u2013136. Springer, Heidelberg (1999)"},{"key":"9_CR65","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversit\u00e4t Hagen (2001)"},{"key":"9_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","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, pp. 347\u2013362. Springer, Heidelberg (2007)"},{"key":"9_CR67","unstructured":"Porat, S., Biberstein, M., Koved, L., Mendelson, B.: Automatic detection of immutable fields in Java. In: CASCON (November 2000)"},{"key":"9_CR68","first-page":"302","volume-title":"OOPSLA","author":"M. F\u00e4hndrich","year":"2003","unstructured":"F\u00e4hndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: OOPSLA, pp. 302\u2013312. ACM Press, New York (2003)"},{"key":"9_CR69","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Xia, S.: Establishing object invariants with delayed types. In: Gabriel, R.P., Bacon, D.F., Lopes, C.V., Steele Jr., G.L. (eds.) OOPSLA, pp. 337\u2013350. ACM Press (2007)","DOI":"10.1145\/1297105.1297052"},{"key":"9_CR70","doi-asserted-by":"crossref","unstructured":"Qi, X., Myers, A.C.: Masked types for sound object initialization. In: Shao, Z., Pierce, B.C. (eds.) POPL, pp. 53\u201365. ACM Press (2009)","DOI":"10.1145\/1594834.1480890"},{"key":"9_CR71","doi-asserted-by":"crossref","unstructured":"Summers, A.J., M\u00fcller, P.: Freedom before commitment - a lightweight type system for object initialisation. In: OOPSLA. ACM Press (2011)","DOI":"10.1145\/2048066.2048142"},{"key":"9_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-87873-5_17","volume-title":"Verified Software: Theories, Tools, Experiments","author":"K.R.M. Leino","year":"2008","unstructured":"Leino, K.R.M., M\u00fcller, P., Wallenburg, A.: Flexible Immutability with Frozen Objects. In: Shankar, N., Woodcock, J. (eds.) VSTTE 2008. LNCS, vol.\u00a05295, pp. 192\u2013208. Springer, Heidelberg (2008)"},{"issue":"8","key":"9_CR73","doi-asserted-by":"publisher","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":"9_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","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, pp. 28\u201353. Springer, Heidelberg (2007)"},{"key":"9_CR75","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P., Rudich, A.: Ownership transfer in Universe Types. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297061"},{"key":"9_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","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, pp. 347\u2013362. Springer, Heidelberg (2007)"},{"key":"9_CR77","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":"9_CR78","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"},{"key":"9_CR79","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":"9_CR80","unstructured":"Skoglund, M., Wrigstad, T.: Alias control with read-only references. In: Sixth Conference on Computer Science and Informatics (March 2002)"},{"key":"9_CR81","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"9_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","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, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"issue":"5","key":"9_CR83","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1145\/1152649.1152650","volume":"28","author":"A. Igarashi","year":"2006","unstructured":"Igarashi, A., Viroli, M.: Variant parametric types: A flexible subtyping scheme for generics. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a028(5), 795\u2013847 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"9_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R. DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for Objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 465\u2013490. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Aliasing in Object-Oriented Programming. Types, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36946-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:15:49Z","timestamp":1745975749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36946-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369452","9783642369469"],"references-count":84,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36946-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}