{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:42:40Z","timestamp":1770277360568,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":150,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642369452","type":"print"},{"value":"9783642369469","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36946-9_3","type":"book-chapter","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T02:18:49Z","timestamp":1363832329000},"page":"15-58","source":"Crossref","is-referenced-by-count":35,"title":["Ownership Types: A Survey"],"prefix":"10.1007","author":[{"given":"Dave","family":"Clarke","sequence":"first","affiliation":[]},{"given":"Johan","family":"\u00d6stlund","sequence":"additional","affiliation":[]},{"given":"Ilya","family":"Sergey","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A theory of objects. Springer (1996)","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M.: Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure. PhD thesis, Carnegie Mellon University, Available as Technical Report CMU-ISR-10-114 (2010)","DOI":"10.1145\/1639949.1640113"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Aldrich, J.: Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. In: OOPSLA, pp. 321\u2013340 (2009)","DOI":"10.1145\/1639949.1640113"},{"key":"3_CR4","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.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: OOPSLA, pp. 311\u2013330 (2002)","DOI":"10.1145\/583854.582448"},{"key":"3_CR6","unstructured":"Ammar, N., Abi-Antoun, M.: Empirical Evaluation of Global Hierarchical Object Graphs for Coding Activities. In: Working Conference on Reverse Engineering, WCRE (2012)"},{"key":"3_CR7","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark (May 1994), DIKU Rapport 94\/19"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Anderson, Z.R., Gay, D., Naik, M.: Lightweight annotations for controlling sharing in concurrent data structures. In: PLDI, pp. 98\u2013109 (2009)","DOI":"10.1145\/1543135.1542488"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11241-007-9024-3","volume":"37","author":"C. Andreae","year":"2007","unstructured":"Andreae, C., Coady, Y., Gibbs, C., Noble, J., Vitek, J., Zhao, T.: Scoped types and aspects for real-time Java memory management. Real-Time Systems\u00a037(1), 1\u201344 (2007)","journal-title":"Real-Time Systems"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of Java without data races. In: OOPSLA, pp. 382\u2013400 (2000)","DOI":"10.1145\/354222.353197"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A.: Representation independence, confinement and access control (extended abstract). In: POPL, pp. 166\u2013177 (2002)","DOI":"10.1145\/565816.503289"},{"key":"3_CR12","unstructured":"Banerjee, A., Naumann, D.A.: Secure information flow and pointer confinement in a Java-like language. In: CSFW, pp. 253\u2013267 (2002)"},{"key":"3_CR13","unstructured":"Banerjee, A., Naumann, D.A.: Ownership transfer and abstraction. Technical report, Computing and Information Sciences, Kansas State University, USA (2003)"},{"key":"3_CR14","unstructured":"Banerjee, A., Naumann, D.A.: Ownership: transfer, sharing, and encapsulation. In: Proceedings of the 5th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2003 (2003)"},{"issue":"6","key":"3_CR15","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1145\/1101821.1101824","volume":"52","author":"A. Banerjee","year":"2005","unstructured":"Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation independence for object-oriented programs. J. ACM\u00a052(6), 894\u2013960 (2005)","journal-title":"J. ACM"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/11531142_17","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A. Banerjee","year":"2005","unstructured":"Banerjee, A., Naumann, D.A.: State Based Ownership, Reentrance, and Encapsulation. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 387\u2013411. Springer, Heidelberg (2005)"},{"key":"3_CR17","series-title":"LNCS","first-page":"319","volume-title":"Aliasing in Object-Oriented Programming","author":"A. Banerjee","year":"2013","unstructured":"Banerjee, A., Naumann, D.A.: State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 319\u2013365. Springer, Heidelberg (2013)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Escape analysis: correctness proof, implementation and experimental results. In: Cardelli, L. (ed.) POPL 1998: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 25\u201337 (January 1998)","DOI":"10.1145\/268946.268949"},{"key":"3_CR19","series-title":"LNCS","first-page":"156","volume-title":"Aliasing in Object-Oriented Programming","author":"R.L. Bocchino Jr.","year":"2013","unstructured":"Bocchino Jr., R.L.: Alias Control for Deterministic Parallelism. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 156\u2013195. Springer, Heidelberg (2013)"},{"key":"3_CR20","unstructured":"Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. Ph.D., MIT (February 2004)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA, pp. 211\u2013230 (2002)","DOI":"10.1145\/583854.582440"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL, pp. 213\u2013223 (2003)","DOI":"10.1145\/640128.604156"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H., Richman, S.: Lazy modular upgrades in persistent object stores. In: OOPSLA, pp. 403\u2013417 (2003)","DOI":"10.1145\/949343.949341"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.C.: A parameterized type system for race-free Java programs. In: OOPSLA, pp. 56\u201369 (2001)","DOI":"10.1145\/504311.504287"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Salcianu, A., Beebee, W.S., Rinard, M.C.: Ownership types for safe region-based memory management in real-time Java. In: PLDI, pp. 324\u2013337 (2003)","DOI":"10.1145\/780822.781168"},{"issue":"6","key":"3_CR26","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. Software\u2014Practice and Experience\u00a031(6), 533\u2013553 (2001)","journal-title":"Software\u2014Practice and Experience"},{"key":"3_CR27","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":"3_CR28","series-title":"LNCS","first-page":"270","volume-title":"Aliasing in Object-Oriented Programming","author":"J. Boyland","year":"2013","unstructured":"Boyland, J.: Fractional Permissions. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 270\u2013288. Springer, Heidelberg (2013)"},{"key":"3_CR29","unstructured":"Buckley, A.: Ownership types restrict aliasing. Master\u2019s thesis, Imperial College London, London, UK (June 2000)"},{"key":"3_CR30","unstructured":"Cameron, N.: Existential Types for Subtype Variance - Java Wildcards and Ownership Types. PhD thesis, Imperial College London (April 2009)"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-642-36946-9_5","volume-title":"Aliasing in Object-Oriented Programming","author":"N. Cameron","year":"2013","unstructured":"Cameron, N., Drossopoulou, S., Noble, J.: Understanding Ownership Types with Dependent Types. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 84\u2013108. Springer, Heidelberg (2013)"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-00590-9_10","volume-title":"Programming Languages and Systems","author":"N. Cameron","year":"2009","unstructured":"Cameron, N., Drossopoulou, S.: Existential Quantification for Variant Ownership. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 128\u2013142. Springer, Heidelberg (2009)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Cameron, N.R., Drossopoulou, S., Noble, J., Smith, M.J.: Multiple ownership. In: OOPSLA, pp. 441\u2013460 (2007)","DOI":"10.1145\/1297105.1297060"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Cameron, N.R., Noble, J., Wrigstad, T.: Tribal ownership. In: OOPSLA, pp. 618\u2013633 (2010)","DOI":"10.1145\/1932682.1869510"},{"key":"3_CR35","unstructured":"Cardelli, L., Leroy, X.: Abstract types and the dot notation. Technical Report SRC-RR-90-56, Digital Systems Research Center (March 1990)"},{"key":"3_CR36","unstructured":"Cele, G., Stureborg, S.: Ownership types in practise. Master\u2019s thesis, Department of Computer and Systems Sciences, Stockholm University and Royal Institute of Technology (2005)"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V.A., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA, pp. 519\u2013538 (2005)","DOI":"10.1145\/1103845.1094852"},{"key":"3_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11693024_18","volume-title":"Programming Languages and Systems","author":"B. Chin","year":"2006","unstructured":"Chin, B., Markstrum, S., Millstein, T., Palsberg, J.: Inference of User-Defined Type Qualifiers and Qualifier Rules. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 264\u2013278. Springer, Heidelberg (2006)"},{"key":"3_CR39","unstructured":"Clarke, D.: Object ownership and containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Australia (2002)"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 417\u2013457. Springer, Heidelberg (2011)"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S., Noble, J., Wrigstad, T.: Tribe: a simple virtual class calculus. In: AOSD, pp. 121\u2013134 (2007)","DOI":"10.1145\/1218563.1218578"},{"key":"3_CR42","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\u2013200. Springer, Heidelberg (2003)"},{"key":"3_CR43","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.\u00a05356, pp. 139\u2013154. Springer, Heidelberg (2008)"},{"key":"3_CR44","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":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45337-7_4","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D.G. Clarke","year":"2001","unstructured":"Clarke, D.G., Noble, J., Potter, J.M.: Simple Ownership Types for Object Containment. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 53\u201376. Springer, Heidelberg (2001)"},{"key":"3_CR46","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":"3_CR47","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Richmond, M., Noble, J.: Saving the world from bad beans: deployment-time confinement checking. In: OOPSLA, pp. 374\u2013387 (2003)","DOI":"10.1145\/949343.949339"},{"key":"3_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-73589-2_22","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"C. Clifton","year":"2007","unstructured":"Clifton, C., Leavens, G.T., Noble, J.: MAO: Ownership and Effects for More Effective Reasoning About Aspects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 451\u2013475. Springer, Heidelberg (2007)"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Sethi, R. (ed.) Proceedings of the Fourth Annual ACM Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238\u2013252 (January 1977)","DOI":"10.1145\/512950.512973"},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Rosen, B.K. (ed.) Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 269\u2013282 (January 1979)","DOI":"10.1145\/567752.567778"},{"key":"3_CR51","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP 2007, pp. 20\u201351 (September 2007)"},{"key":"3_CR52","doi-asserted-by":"crossref","unstructured":"Deutsch, A.: Interprocedural alias analysis for pointers: Beyond k-limiting. In: Sarkar, V. (ed.) Proceedings of the ACM SIGPLAN 1994 Conference on Programming Languages Design and Implementation, Orlando, Florida, pp. 230\u2013241 (June 1994)","DOI":"10.1145\/178243.178263"},{"key":"3_CR53","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)"},{"issue":"6","key":"3_CR54","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2049706.2049709","volume":"33","author":"W. Dietl","year":"2011","unstructured":"Dietl, W., Drossopoulou, S., M\u00fcller, P.: Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst.\u00a033(6), 20 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-22655-7_16","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"W. Dietl","year":"2011","unstructured":"Dietl, W., Ernst, M.D., M\u00fcller, P.: Tunable Static Inference for Generic Universe Types. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 333\u2013357. Springer, Heidelberg (2011)"},{"issue":"8","key":"3_CR56","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":"3_CR57","unstructured":"Dietl, W., M\u00fcller, P.: Runtime universe type inference. In: IWACO 2007: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (2007)"},{"key":"3_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-642-36946-9_11","volume-title":"Aliasing in Object-Oriented Programming","author":"W. Dietl","year":"2013","unstructured":"Dietl, W., M\u00fcller, P.: Object Ownership in Program Verification. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 289\u2013318. Springer, Heidelberg (2013)"},{"key":"3_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-30569-9_7","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"W. Dietl","year":"2005","unstructured":"Dietl, W., M\u00fcller, P., Poetzsch-Heffter, A.: A Type System for Checking Applet Isolation in Java Card. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 129\u2013150. Springer, Heidelberg (2005)"},{"key":"3_CR60","unstructured":"Dietl, W.M.: Universe Types: Topology, Encapsulation, Genericity, and Tools. Ph.D., Department of Computer Science, ETH Zurich (December 2009); Doctoral Thesis ETH No. 18522"},{"key":"3_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11693024_1","volume-title":"Programming Languages and Systems","author":"S. Drossopoulou","year":"2006","unstructured":"Drossopoulou, S., Clarke, D., Noble, J.: Types for Hierarchic Shapes (Summary). In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 1\u20136. Springer, Heidelberg (2006)"},{"issue":"2","key":"3_CR62","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2006.10.006","volume":"164","author":"M. Eichberg","year":"2006","unstructured":"Eichberg, M., Kanthak, S., Kloppenburg, S., Mezini, M., Schuh, T.: Incremental confined types analysis. Electr. Notes Theor. Comput. Sci.\u00a0164(2), 81\u201396 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR63","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":"3_CR64","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":"3_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The Join Calculus: A Language for Distributed Mobile Programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 268\u2013332. Springer, Heidelberg (2002)"},{"key":"3_CR66","unstructured":"Geilmann, K., Poetzsch-Heffter, A.: Modular Checking of Confinement for Object-Oriented Components using Abstract Interpretation. In: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, IWACO 2011 (2011)"},{"key":"3_CR67","doi-asserted-by":"crossref","unstructured":"Gordon, D., Noble, J.: Dynamic ownership in a dynamic language. In: Costanza, P., Hirschfeld, R. (eds.) DLS 2007: Proceedings of the 2007 Symposium on Dynamic Languages, Montreal, Quebec, Canada, pp. 41\u201352 (2007)","DOI":"10.1145\/1297081.1297090"},{"key":"3_CR68","doi-asserted-by":"crossref","unstructured":"Greenfieldboyce, D., Foster, J.S.: Type qualifier inference for Java. In: Bacon, D.F., Lopes, C.V., Steele Jr., G.L. (eds.) OOPSLA 2007: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Montreal, Quebec, Canada, pp. 321\u2013336 (2007)","DOI":"10.1145\/1297027.1297051"},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"Grothoff, C., Palsberg, J., Vitek, J.: Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29(6) (2007)","DOI":"10.1145\/1286821.1286823"},{"key":"3_CR70","unstructured":"H\u00e4chler, T.: Applying the Universe type system to an industrial application. Master\u2019s thesis, ETH Zurich (2005), http:\/\/pm.inf.ethz.ch\/projects\/student_docs\/Thomas_Haechler\/Thomas_Haechler_MA_paper.pdf"},{"key":"3_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-14107-2_17","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P. Haller","year":"2010","unstructured":"Haller, P., Odersky, M.: Capabilities for Uniqueness and Borrowing. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 354\u2013378. Springer, Heidelberg (2010)"},{"issue":"5","key":"3_CR72","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/32.90445","volume":"17","author":"D.E. Harms","year":"1991","unstructured":"Harms, D.E., Weide, B.W.: Copying and swapping: influences on the design of reusable software components. IEEE Transactions on Software Engineering\u00a017(5), 424\u2013435 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/978-3-642-36946-9_15","volume-title":"Aliasing in Object-Oriented Programming","author":"S. Herrmann","year":"2013","unstructured":"Herrmann, S.: Confined Roles and Decapsulation in Object Teams \u2014 Contradiction or Synergy? In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 443\u2013470. Springer, Heidelberg (2013)"},{"key":"3_CR74","doi-asserted-by":"crossref","unstructured":"Hill, T., Noble, J., Potter, J.: Scalable visualisations with ownership trees. In: TOOLS, vol.\u00a0(37), pp. 202\u2013213 (2000)","DOI":"10.1109\/TOOLS.2000.891370"},{"key":"3_CR75","doi-asserted-by":"crossref","unstructured":"Hill, T., Noble, J., Potter, J.: Visualizing the structure of object-oriented systems. In: VL, pp. 191\u2013198 (2000)","DOI":"10.1109\/VL.2000.874383"},{"issue":"3","key":"3_CR76","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1006\/jvlc.2002.0238","volume":"13","author":"T. Hill","year":"2002","unstructured":"Hill, T., Noble, J., Potter, J.: Scalable visualizations of object-oriented systems with ownership trees. J. Vis. Lang. Comput.\u00a013(3), 319\u2013339 (2002)","journal-title":"J. Vis. Lang. Comput."},{"issue":"2","key":"3_CR77","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/130943.130947","volume":"3","author":"J. Hogg","year":"1992","unstructured":"Hogg, J., Lea, D., Wills, A., de Champeaux, D., Holt, R.C.: The Geneva convention on the treatment of object aliasing. OOPS Messenger\u00a03(2), 11\u201316 (1992)","journal-title":"OOPS Messenger"},{"key":"3_CR78","series-title":"LNCS","first-page":"7","volume-title":"Aliasing in Object-Oriented Programming","author":"J. Hogg","year":"2013","unstructured":"Hogg, J., Lea, D., Wills, A., de Champeaux, D., Holt, R.C.: 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":"3_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-31057-7_9","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"W. Huang","year":"2012","unstructured":"Huang, W., Dietl, W., Milanova, A., Ernst, M.D.: Inference and Checking of Object Ownership. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 181\u2013206. Springer, Heidelberg (2012)"},{"key":"3_CR80","unstructured":"Huang, W., Milanova, A.: Towards efective inference and checking of ownership types. In: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, IWACO 2011 (2011)"},{"key":"3_CR81","doi-asserted-by":"crossref","unstructured":"Jagannathan, S., Thiemann, P., Weeks, S., Wright, A.K.: Single and loving it: Must-alias analysis for higher-order languages. In: Cardelli, L. (ed.) POPL 1998: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 329\u2013341 (January 1998)","DOI":"10.1145\/268946.268973"},{"key":"3_CR82","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":"R.L. 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.\u00a06813, pp. 306\u2013332. Springer, Heidelberg (2011)"},{"key":"3_CR83","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, pp. 97\u2013116 (2009)","DOI":"10.1145\/1639949.1640097"},{"key":"3_CR84","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, pp. 535\u2013548 (2011)","DOI":"10.1145\/1925844.1926447"},{"key":"3_CR85","unstructured":"Kleberma\u00df, M.: An Isabelle Formalization of the Universe Type System. Master\u2019s thesis, Technische Universit\u00e4t M\u00fcnchen (April 2007)"},{"key":"3_CR86","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2001 - Object-Oriented Programming","year":"2001","unstructured":"Lindskov Knudsen, J. (ed.): ECOOP 2001. LNCS, vol.\u00a02072. Springer, Heidelberg (2001)"},{"key":"3_CR87","doi-asserted-by":"crossref","unstructured":"Krishnaswami, N.R., Aldrich, J.: Permission-based ownership: encapsulating state in higher-order typed languages. In: PLDI, pp. 96\u2013106 (2005)","DOI":"10.1145\/1064978.1065023"},{"key":"3_CR88","doi-asserted-by":"crossref","unstructured":"Kulkarni, A., Liu, Y.D., Smith, S.F.: Task types for pervasive atomicity. In: OOPSLA, pp. 671\u2013690 (2010)","DOI":"10.1145\/1932682.1869514"},{"key":"3_CR89","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain specific embedded compilers. In: DSL, pp. 109\u2013122 (1999)","DOI":"10.1145\/331963.331977"},{"key":"3_CR90","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-540-24851-4_22","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"K.R.M. Leino","year":"2004","unstructured":"Leino, K.R.M., M\u00fcller, P.: Object Invariants in Dynamic Contexts. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 491\u2013515. Springer, Heidelberg (2004)"},{"key":"3_CR91","unstructured":"Li, P., Cameron, N., Noble, J.: Mojojojo - more ownership for multiple owners. In: International Workshop on Foundations of Object-Oriented Languages, FOOL (2010)"},{"key":"3_CR92","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1562154.1562162","volume-title":"International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, IWACO 2009","author":"P. Li","year":"2009","unstructured":"Li, P., Nelson, S., Potanin, A.: Ownership for relationships. In: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, IWACO 2009, pp. 1\u20133. ACM, New York (2009)"},{"key":"3_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-48743-3_11","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"B. Liskov","year":"1999","unstructured":"Liskov, B., Castro, M., Shrira, L., Adya, A.: Providing Persistent Objects in Distributed Systems. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 230\u2013257. Springer, Heidelberg (1999)"},{"key":"3_CR94","doi-asserted-by":"crossref","unstructured":"Liu, Y.D., Smith, S.F.: Interaction-based programming with classages. In: OOPSLA, pp. 191\u2013209 (2005)","DOI":"10.1145\/1103845.1094827"},{"key":"3_CR95","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., Potter, J.: A Type System for Reachability and Acyclicity. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 479\u2013503. Springer, Heidelberg (2005)"},{"key":"3_CR96","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: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"3_CR97","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL, pp. 359\u2013371 (2006)","DOI":"10.1145\/1111320.1111069"},{"key":"3_CR98","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: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 202\u2013226. Springer, Heidelberg (2007)"},{"key":"3_CR99","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_CR100","doi-asserted-by":"crossref","unstructured":"Ma, K.-K., Foster, J.S.: Inferring aliasing and encapsulation properties for Java. In: Bacon, D.F., Lopes, C.V., Steele Jr., G.L. (eds.) OOPSLA 2007: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Montreal, Quebec, Canada, pp. 423\u2013440 (2007)","DOI":"10.1145\/1297027.1297059"},{"key":"3_CR101","unstructured":"Milanova, A., Liu, Y.: Practical static ownership inference. Technical report, Rensselaer Polytechnic Institute, Troy NY 12110, USA (2010)"},{"key":"3_CR102","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-21952-8_16","volume-title":"Objects, Models, Components, Patterns","author":"A. Milanova","year":"2011","unstructured":"Milanova, A., Vitek, J.: Static Dominance Inference. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol.\u00a06705, pp. 211\u2013227. Springer, Heidelberg (2011)"},{"key":"3_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/11785477_5","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"N. Mitchell","year":"2006","unstructured":"Mitchell, N.: The Runtime Structure of Object Ownership. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 74\u201398. Springer, Heidelberg (2006)"},{"key":"3_CR104","unstructured":"Moelius III, S.E., Souter, A.L.: An object ownership inference algorithm and its applications. In: MASPLAS 2004: Mid-Atlantic Student Workshop on Programming Languages and Systems (2004)"},{"key":"3_CR105","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: a type system for controlling representation exposure. In: Programming Languages and Fundamentals of Programming. Fernuniversit\u00e4t Hagen (1999)"},{"key":"3_CR106","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.scico.2006.03.001","volume":"62","author":"P. M\u00fcller","year":"2006","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A., Leavens, G.T.: Modular invariants for layered object structures. Science of Computer Programming\u00a062, 253\u2013286 (2006)","journal-title":"Science of Computer Programming"},{"key":"3_CR107","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45651-1","volume-title":"Modular Specification and Verification of Object-Oriented Programs","author":"P. M\u00fcller","year":"2002","unstructured":"M\u00fcller, P.: Modular Specification and Verification of Object-Oriented Programs. LNCS, vol.\u00a02262. Springer, Heidelberg (2002)"},{"key":"3_CR108","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/1297027.1297061","volume-title":"Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, OOPSLA 2007","author":"P. M\u00fcller","year":"2007","unstructured":"M\u00fcller, P., Rudich, A.: Ownership transfer in universe types. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, OOPSLA 2007, pp. 461\u2013478. ACM, New York (2007)"},{"key":"3_CR109","unstructured":"N\u00e4geli, S.: Ownership in design patterns. Master\u2019s thesis, ETH Zurich (2006), http:\/\/pm.inf.ethz.ch\/projects\/student_docs\/Stefan_Naegeli\/Stefan_Naegeli_MA_paper.pdf"},{"key":"3_CR110","unstructured":"Noble, J., Biddle, R., Tempero, E., Potanin, A., Clarke, D.: Towards a model of encapsulation. In: IWACO 2003: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, Darmstadt, Germany (2003)"},{"key":"3_CR111","doi-asserted-by":"crossref","unstructured":"Noble, J., Clarke, D.G., Potter, J.: Object ownership for dynamic alias protection. In: TOOLS, vol.\u00a0(32), pp. 176\u2013187 (1999)","DOI":"10.1109\/TOOLS.1999.809424"},{"key":"3_CR112","doi-asserted-by":"crossref","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)","DOI":"10.1007\/BFb0054091"},{"key":"3_CR113","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.\u00a07313, pp. 156\u2013180. Springer, Heidelberg (2012)"},{"key":"3_CR114","doi-asserted-by":"crossref","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness, and immutability. In: TOOLS, vol.\u00a0(46), pp. 178\u2013197 (2008)","DOI":"10.1007\/978-3-540-69824-1_11"},{"key":"3_CR115","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-21461-5_19","volume-title":"Formal Techniques for Distributed Systems","author":"M. Patrignani","year":"2011","unstructured":"Patrignani, M., Clarke, D., Sangiorgi, D.: Ownership Types for the Join Calculus. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 289\u2013303. Springer, Heidelberg (2011)"},{"key":"3_CR116","doi-asserted-by":"crossref","unstructured":"Permandla, P., Roberson, M., Boyapati, C.: A type system for preventing data races and deadlocks in the Java virtual machine language. In: LCTES, pp. 1\u201310 (2007)","DOI":"10.1145\/1273444.1254768"},{"key":"3_CR117","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-71322-7_6","volume-title":"Program Analysis and Compilation, Theory and Practice","author":"A. Poetzsch-Heffter","year":"2007","unstructured":"Poetzsch-Heffter, A., Geilmann, K., Sch\u00e4fer, J.: Infering Ownership Types for Encapsulated Object-Oriented Program Components. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol.\u00a04444, pp. 120\u2013144. Springer, Heidelberg (2007)"},{"issue":"7","key":"3_CR118","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1002\/cpe.799","volume":"16","author":"A. Potanin","year":"2004","unstructured":"Potanin, A., Noble, J., Biddle, R.: Checking ownership and confinement. Concurrency and Computation: Practice and Experience\u00a016(7), 671\u2013687 (2004)","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"6","key":"3_CR119","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1017\/S0956796806006125","volume":"16","author":"A. Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Featherweight generic confinement. J. Funct. Program.\u00a016(6), 793\u2013811 (2006)","journal-title":"J. Funct. Program."},{"key":"3_CR120","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for Generic Java. In: OOPSLA, pp. 311\u2013324 (2006)","DOI":"10.1145\/1167515.1167500"},{"key":"3_CR121","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-642-36946-9_9","volume-title":"Aliasing in Object-Oriented Programming","author":"A. Potanin","year":"2013","unstructured":"Potanin, A., \u00d6stlund, J., Zibin, Y., Ernst, M.D.: Immutability. In: Clarke, D. (ed.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 233\u2013269. Springer, Heidelberg (2013)"},{"key":"3_CR122","doi-asserted-by":"crossref","unstructured":"Potter, J., Noble, J., Clarke, D.G.: The ins and outs of objects. In: Australian Software Engineering Conference, pp. 80\u201389 (1998)","DOI":"10.1109\/ASWEC.1998.730915"},{"key":"3_CR123","doi-asserted-by":"crossref","unstructured":"Rayside, D., Mendel, L.: Object ownership profiling: a technique for finding and fixing memory leaks. In: ASE, pp. 194\u2013203 (2007)","DOI":"10.1145\/1321631.1321661"},{"issue":"5","key":"3_CR124","doi-asserted-by":"publisher","first-page":"71","DOI":"10.5381\/jot.2007.6.5.a3","volume":"6","author":"J. Schaefer","year":"2007","unstructured":"Schaefer, J., Poetzsch-Heffter, A.: A parameterized type system for simple loose ownership domains. Journal of Object Technology\u00a06(5), 71\u2013100 (2007)","journal-title":"Journal of Object Technology"},{"key":"3_CR125","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-68863-1_13","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"J. Sch\u00e4fer","year":"2008","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: CoBoxes: Unifying Active Objects and Structured Heaps. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 201\u2013219. Springer, Heidelberg (2008)"},{"key":"3_CR126","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J. Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing Active Objects to Concurrent Components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"key":"3_CR127","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-28869-2_29","volume-title":"Programming Languages and Systems","author":"I. Sergey","year":"2012","unstructured":"Sergey, I., Clarke, D.: Gradual Ownership Types. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 579\u2013599. Springer, Heidelberg (2012)"},{"issue":"1-2","key":"3_CR128","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10207-004-0049-5","volume":"4","author":"C. Skalka","year":"2005","unstructured":"Skalka, C., Smith, S.F.: Static use-based object confinement. Int. J. Inf. Sec.\u00a04(1-2), 87\u2013104 (2005)","journal-title":"Int. J. Inf. Sec."},{"key":"3_CR129","doi-asserted-by":"crossref","unstructured":"Spring, J.H., Pizlo, F., Privat, J., Guerraoui, R., Vitek, J.: Reflexes: Abstractions for integrating highly responsive tasks into Java applications. ACM Trans. Embedded Comput. Syst.\u00a010(1) (2010)","DOI":"10.1145\/1814539.1814543"},{"key":"3_CR130","doi-asserted-by":"crossref","unstructured":"Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: Streamflex: High-throughput stream programming in Java. In: OOPSLA, pp. 211\u2013228 (2007)","DOI":"10.1145\/1297105.1297043"},{"key":"3_CR131","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-Typed Actors for Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 104\u2013128. Springer, Heidelberg (2008)"},{"key":"3_CR132","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"2000","unstructured":"Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)","edition":"3"},{"key":"3_CR133","doi-asserted-by":"crossref","unstructured":"Tang, D., Plsek, A., Vitek, J.: Static checking of safety critical Java annotations. In: JTRES, pp. 148\u2013154 (2010)","DOI":"10.1145\/1850771.1850792"},{"issue":"2","key":"3_CR134","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region-based memory management. Inf. Comput.\u00a0132(2), 109\u2013176 (1997)","journal-title":"Inf. Comput."},{"key":"3_CR135","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-642-36946-9_6","volume-title":"Aliasing in Object-Oriented Programming","author":"R. Vanciu","year":"2013","unstructured":"Vanciu, R., Abi-Antoun, M.: Object Graphs with Ownership Domains: An Empirical Study. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 109\u2013155. Springer, Heidelberg (2013)"},{"key":"3_CR136","doi-asserted-by":"crossref","unstructured":"Vitek, J., Bokowski, B.: Confined types. In: OOPSLA, pp. 82\u201396 (1999)","DOI":"10.1145\/320385.320392"},{"issue":"6","key":"3_CR137","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1002\/spe.369","volume":"31","author":"J. Vitek","year":"2001","unstructured":"Vitek, J., Bokowski, B.: Confined types in Java. Softw., Pract. Exper.\u00a031(6), 507\u2013532 (2001)","journal-title":"Softw., Pract. Exper."},{"key":"3_CR138","doi-asserted-by":"crossref","unstructured":"Wang, S., Barbosa, L.S., Oliveira, J.N.: A relational model for confined separation logic. In: TASE, pp. 263\u2013270 (2008)","DOI":"10.1109\/TASE.2008.38"},{"key":"3_CR139","doi-asserted-by":"crossref","unstructured":"Wang, S., Qiu, Z.: A generic model for confinement and its application. In: TASE, pp. 57\u201364 (2008)","DOI":"10.1109\/TASE.2008.31"},{"key":"3_CR140","unstructured":"Wren, A.: Inferring ownership. Master\u2019s thesis, Imperial College London, London, UK (June 2003)"},{"key":"3_CR141","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (May 2006)"},{"issue":"4","key":"3_CR142","doi-asserted-by":"publisher","first-page":"141","DOI":"10.5381\/jot.2007.6.4.a5","volume":"6","author":"T. Wrigstad","year":"2007","unstructured":"Wrigstad, T., Clarke, D.: Existential owners for ownership types. Journal of Object Technology\u00a06(4), 141\u2013159 (2007)","journal-title":"Journal of Object Technology"},{"key":"3_CR143","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-642-03013-0_21","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"T. Wrigstad","year":"2009","unstructured":"Wrigstad, T., Pizlo, F., Meawad, F., Zhao, L., Vitek, J.: Loci: Simple Thread-Locality for Java. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 445\u2013469. Springer, Heidelberg (2009)"},{"key":"3_CR144","unstructured":"Smith, S., Liu, Y.D.: Pedigree types. In: IWACO 2008: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (2008)"},{"issue":"3","key":"3_CR145","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.scico.2008.04.001","volume":"71","author":"T. Zhao","year":"2008","unstructured":"Zhao, T., Baker, J., Hunt, J., Noble, J., Vitek, J.: Implicit ownership types for memory management. Sci. Comput. Program.\u00a071(3), 213\u2013241 (2008)","journal-title":"Sci. Comput. Program."},{"key":"3_CR146","doi-asserted-by":"crossref","unstructured":"Zhao, T., Noble, J., Vitek, J.: Scoped types for real-time Java. In: RTSS, pp. 241\u2013251 (2004)","DOI":"10.1109\/REAL.2004.51"},{"key":"3_CR147","doi-asserted-by":"crossref","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Lightweight confinement for featherweight Java. In: OOPSLA, pp. 135\u2013148 (2003)","DOI":"10.1145\/949343.949318"},{"issue":"1","key":"3_CR148","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1017\/S0956796805005691","volume":"16","author":"T. Zhao","year":"2006","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Type-based confinement. J. Funct. Program.\u00a016(1), 83\u2013128 (2006)","journal-title":"J. Funct. Program."},{"key":"3_CR149","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Boyland, J.: A fundamental permission interpretation for ownership types. In: TASE, pp. 65\u201372 (2008)","DOI":"10.1109\/TASE.2008.45"},{"key":"3_CR150","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 (2010)","DOI":"10.1145\/1932682.1869509"}],"container-title":["Lecture Notes in Computer Science","Aliasing in Object-Oriented Programming. Types, Analysis and Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36946-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:16:12Z","timestamp":1745975772000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-36946-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369452","9783642369469"],"references-count":150,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36946-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}