{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T03:22:34Z","timestamp":1785381754695,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288685","type":"print"},{"value":"9783642288692","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_29","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:44:36Z","timestamp":1332449076000},"page":"579-599","source":"Crossref","is-referenced-by-count":39,"title":["Gradual Ownership Types"],"prefix":"10.1007","author":[{"given":"Ilya","family":"Sergey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer-Verlag New York, Inc., Secaucus (1996)"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24851-4_1","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"J. Aldrich","year":"2004","unstructured":"Aldrich, J., Chambers, C.: Ownership Domains: Separating Aliasing Policy from Mechanism. In: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL 2003, pp. 213\u2013223. ACM (2003)","DOI":"10.1145\/640128.604156"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: OOPSLA 2001, pp. 56\u201369. ACM (2001)","DOI":"10.1145\/504311.504287"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Salcianu, A., Beebee Jr., W., Rinard, M.: Ownership types for safe region-based memory management in real-time Java. In: PLDI 2003, pp. 324\u2013337. ACM (2003)","DOI":"10.1145\/781167.781168"},{"key":"29_CR6","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":"29_CR7","doi-asserted-by":"crossref","unstructured":"Cameron, N.R., Drossopoulou, S., Noble, J., Smith, M.J.: Multiple ownership. In: OOPSLA 2007, pp. 441\u2013460. ACM (2007)","DOI":"10.1145\/1297105.1297060"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA 2002, pp. 292\u2013310. ACM (2002)","DOI":"10.1145\/583854.582447"},{"key":"29_CR9","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":"29_CR10","unstructured":"Clarke, D.G.: Object ownership and containment. PhD thesis, University of New South Wales, New South Wales, Australia (2001)"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA 1998, pp. 48\u201364. ACM (1998)","DOI":"10.1145\/286942.286947"},{"key":"29_CR12","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)"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Ekman, T., Hedin, G.: The JastAdd extensible Java compiler. In: OOPSLA 2007, pp. 1\u201318. ACM (2007)","DOI":"10.1145\/1297105.1297029"},{"key":"29_CR14","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, 1st edn. The MIT Press (August 2009)"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Flanagan, C.: Hybrid type checking. In: POPL 2006, pp. 245\u2013256. ACM (2006)","DOI":"10.1145\/1111320.1111059"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Gordon, D., Noble, J.: Dynamic ownership in a dynamic language. In: DLS 2007, pp. 41\u201352. ACM (2007)","DOI":"10.1145\/1297081.1297090"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Ina, L., Igarashi, A.: Gradual typing for generics. In: OOPSLA 2011, pp. 609\u2013624. ACM (2011)","DOI":"10.1145\/2048066.2048114"},{"key":"29_CR18","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: Hu, Q. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"Ma, K.-K., Foster, J.S.: Inferring aliasing and encapsulation properties for Java. In: OOPSLA 2007, pp. 321\u2013336. ACM (2007)","DOI":"10.1145\/1297027.1297059"},{"key":"29_CR20","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":"29_CR21","unstructured":"Moelius III, S.E., Souter, A.L.: An object ownership inference algorithm and its applications. In: MASPLAS 2004 (2004)"},{"key":"29_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-45070-2_10","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"M. Odersky","year":"2003","unstructured":"Odersky, M., Cremet, V., R\u00f6ckl, C., Zenger, M.: A Nominal Theory of Objects with Dependent Types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 201\u2013224. Springer, Heidelberg (2003)"},{"key":"29_CR23","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic Java. In: OOPSLA 2006, pp. 311\u2013324. ACM (2006)","DOI":"10.1145\/1167515.1167500"},{"key":"29_CR25","unstructured":"Sergey, I., Clarke, D.: Gradual Ownership Types. Technical Report Report CW 613, Katholieke Universiteit Leuven (December 2011)"},{"key":"29_CR26","unstructured":"Siek, J., Taha, W.: Gradual typing for functional languages. In: Scheme 2006 (2006)"},{"key":"29_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73589-2_2","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J. Siek","year":"2007","unstructured":"Siek, J., Taha, W.: Gradual Typing for Objects. In: Bateni, M. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 2\u201327. Springer, Heidelberg (2007)"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Vitek, J., Bokowski, B.: Confined types. In: OOPSLA 1999, pp. 82\u201396. ACM (1999)","DOI":"10.1145\/320385.320392"},{"key":"29_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00590-9_1","volume-title":"Programming Languages and Systems","author":"P. Wadler","year":"2009","unstructured":"Wadler, P., Findler, R.B.: Well-Typed Programs Can\u2019t Be Blamed. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 1\u201316. Springer, Heidelberg (2009)"},{"key":"29_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-22655-7_22","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"R. Wolff","year":"2011","unstructured":"Wolff, R., Garcia, R., Tanter, \u00c9., Aldrich, J.: Gradual Typestate. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 459\u2013483. Springer, Heidelberg (2011)"},{"key":"29_CR31","unstructured":"Wren, A.: Inferring ownership. Master\u2019s thesis, Imperial College London, UK (June 2003)"},{"issue":"4","key":"29_CR32","doi-asserted-by":"crossref","first-page":"141","DOI":"10.5381\/jot.2007.6.4.a5","volume":"6","author":"Tobias Wrigstad","year":"2007","unstructured":"Wrigstad, T., Clarke, D.: Existential owners for ownership types. Journal of Object Technology\u00a06(4) (2007)","journal-title":"The Journal of Object Technology"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28869-2_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:03:10Z","timestamp":1606186990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}