{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T19:36:07Z","timestamp":1791228967273,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297061","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"461-478","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Ownership transfer in universe types"],"prefix":"10.1145","author":[{"given":"Peter","family":"M\u00fcller","sequence":"first","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arsenii","family":"Rudich","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"1","volume-title":"European Conference on Object-Oriented Programming (ECOOP)","author":"Aldrich J.","year":"2004","unstructured":"J. Aldrich and C. Chambers . Ownership domains: Separating aliasing policy from mechanism . In M. Odersky, editor, European Conference on Object-Oriented Programming (ECOOP) , volume 3086 of LNCS , pages 1 -- 25 . Springer-Verlag , 2004 . J. Aldrich and C. Chambers. Ownership domains: Separating aliasing policy from mechanism. In M. Odersky, editor, European Conference on Object-Oriented Programming (ECOOP), volume 3086 of LNCS, pages 1--25. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503289"},{"key":"e_1_3_2_1_5_1","volume-title":"Formal Techniques for Java-like Programs","author":"Banerjee A.","year":"2003","unstructured":"A. Banerjee and D. Naumann . Ownership: transfer, sharing, and encapsulation. In S. Eisenbach, G. T. Leavens, P. M\u00fcller, A. Poetzsch-Heffter, and E. Poll, editors , Formal Techniques for Java-like Programs , 2003 . A. Banerjee and D. Naumann. Ownership: transfer, sharing, and encapsulation. In S. Eisenbach, G. T. Leavens, P. M\u00fcller, A. Poetzsch-Heffter, and E. Poll, editors, Formal Techniques for Java-like Programs, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604156"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781168"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040329"},{"key":"e_1_3_2_1_12_1","volume-title":"European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag","author":"Chalin P.","year":"2007","unstructured":"P. Chalin and P. James . Non-null references by default in Java: Alleviating the nullity annotation burden. In E. Ernst, editor , European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag , 2007 . To appear. P. Chalin and P. James. Non-null references by default in Java: Alleviating the nullity annotation burden. In E. Ernst, editor, European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag, 2007. To appear."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"176","volume-title":"European Conference on Object-Oriented Programming (ECOOP)","author":"Clarke D.","year":"2003","unstructured":"D. Clarke and T. Wrigstad . External uniqueness is unique enough . In L. Cardelli, editor, European Conference on Object-Oriented Programming (ECOOP) , volume 2743 of LNCS , pages 176 -- 200 . Springer-Verlag , 2003 . D. Clarke and T. Wrigstad. External uniqueness is unique enough. In L. Cardelli, editor, European Conference on Object-Oriented Programming (ECOOP), volume 2743 of LNCS, pages 176--200. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/286942.286947"},{"key":"e_1_3_2_1_19_1","volume-title":"European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag","author":"Dietl W.","year":"2007","unstructured":"W. Dietl , S. Drossopoulou , and P. M\u00fcller . Generic Universe Types. In E. Ernst, editor , European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag , 2007 . To appear. W. Dietl, S. Drossopoulou, and P. M\u00fcller. Generic Universe Types. In E. Ernst, editor, European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag, 2007. To appear."},{"key":"e_1_3_2_1_20_1","volume-title":"Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8)","author":"Dietl W.","year":"2005","unstructured":"W. Dietl and P. M\u00fcller . Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8) , 2005 . W. Dietl and P. M\u00fcller. Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8), 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949332"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","volume-title":"European Symposium on Programming (ESOP)","author":"Haack C.","year":"2007","unstructured":"C. Haack , E. Poll , J. Sch\u00e4fer , and A. Schubert . Immutable objects for a Java-like language . In R. D. Nicola, editor, European Symposium on Programming (ESOP) , volume 4421 of LNCS . Springer-Verlag , 2007 . C. Haack, E. Poll, J. Sch\u00e4fer, and A. Schubert. Immutable objects for a Java-like language. In R. D. Nicola, editor, European Symposium on Programming (ESOP), volume 4421 of LNCS. Springer-Verlag, 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2005.39"},{"key":"e_1_3_2_1_27_1","volume-title":"Technische Universit\u00e4t M\u00fcnchen","author":"Kleberma\u03b2 M.","year":"2007","unstructured":"M. Kleberma\u03b2 . An Isabelle formalization of the Universe Type System. Master's thesis , Technische Universit\u00e4t M\u00fcnchen , 2007 . sct.inf.ethz.ch\/projects\/student_docs\/Martin_Klebermass. M. Kleberma\u03b2. An Isabelle formalization of the Universe Type System. Master's thesis, Technische Universit\u00e4t M\u00fcnchen, 2007. sct.inf.ethz.ch\/projects\/student_docs\/Martin_Klebermass."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503276"},{"key":"e_1_3_2_1_29_1","series-title":"LNCS","first-page":"491","volume-title":"European Conference on Object-Oriented Programming (ECOOP)","author":"Leino K. R. M.","year":"2004","unstructured":"K. R. M. Leino and P. M\u00fcller . Object invariants in dynamic contexts . In M. Odersky, editor, European Conference on Object-Oriented Programming (ECOOP) , volume 3086 of LNCS , pages 491 -- 516 . Springer-Verlag , 2004 . K. R. M. Leino and P. M\u00fcller. Object invariants in dynamic contexts. In M. Odersky, editor, European Conference on Object-Oriented Programming (ECOOP), volume 3086 of LNCS, pages 491--516. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111069"},{"key":"e_1_3_2_1_31_1","volume-title":"Object Invariants and Effects. In European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag","author":"Lu Y.","year":"2007","unstructured":"Y. Lu , J. Potter , and J. Xue . Object Invariants and Effects. In European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag , 2007 . To appear. Y. Lu, J. Potter, and J. Xue. Object Invariants and Effects. In European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag, 2007. To appear."},{"key":"e_1_3_2_1_32_1","series-title":"LNCS","first-page":"189","volume-title":"European Conference on Object-Oriented Programming (ECOOP)","author":"Minsky N. H.","year":"1996","unstructured":"N. H. Minsky . Towards alias-free pointers . In P. Cointe, editor, European Conference on Object-Oriented Programming (ECOOP) , volume 1098 of LNCS , pages 189 -- 209 . Springer-Verlag , 1996 . N. H. Minsky. Towards alias-free pointers. In P. Cointe, editor, European Conference on Object-Oriented Programming (ECOOP), volume 1098 of LNCS, pages 189--209. Springer-Verlag, 1996."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"P.\n      M\u00fcller\n      . \n      Modular\n      Specification\n     and \n      Verification\n     of Object-Oriented programs volume \n  2262\n   of \n  LNCS\n  . \n  Springer-Verlag 2002\n  .  P. M\u00fcller. Modular Specification and Verification of Object-Oriented programs volume 2262 of LNCS. Springer-Verlag 2002.","DOI":"10.1007\/3-540-45651-1"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.001"},{"key":"e_1_3_2_1_36_1","volume-title":"ETH Zurich","author":"N\u00e4geli S.","year":"2006","unstructured":"S. N\u00e4geli . Ownership in design patterns. Master's thesis , ETH Zurich , 2006 . sct.inf.ethz.ch\/projects\/student_docs\/Stefan_Naegeli. S. N\u00e4geli. Ownership in design patterns. Master's thesis, ETH Zurich, 2006. sct.inf.ethz.ch\/projects\/student_docs\/Stefan_Naegeli."},{"key":"e_1_3_2_1_37_1","series-title":"LNCS","volume-title":"European Conference on Object-Oriented Programming (ECOOP)","author":"Noble J.","year":"1998","unstructured":"J. Noble , J. Vitek , and J. M. Potter . Flexible alias protection . In E. Jul, editor, European Conference on Object-Oriented Programming (ECOOP) , volume 1445 of LNCS . Springer-Verlag , 1998 . J. Noble, J. Vitek, and J. M. Potter. Flexible alias protection. In E. Jul, editor, European Conference on Object-Oriented Programming (ECOOP), volume 1445 of LNCS. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167500"},{"key":"e_1_3_2_1_39_1","series-title":"LNCS","volume-title":"European Symposium on Programming (ESOP)","author":"Rinetzky N.","year":"2007","unstructured":"N. Rinetzky , A. Poetzsch-Heffter , G. Ramalingam , M. Sagiv , and E. Yahav . Modular shape analysis for dynamically encapsulated programs . In R. D. Nicola, editor, European Symposium on Programming (ESOP) , volume 4421 of LNCS . Springer-Verlag , 2007 . N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, and E. Yahav. Modular shape analysis for dynamically encapsulated programs. In R. D. Nicola, editor, European Symposium on Programming (ESOP), volume 4421 of LNCS. Springer-Verlag, 2007."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/514188.514190"},{"key":"e_1_3_2_1_41_1","volume-title":"ETH Zurich","author":"Takano Y.","year":"2007","unstructured":"Y. Takano . Implementing uniqueness and ownership transfer in the Universe Type System. Master's thesis , ETH Zurich , 2007 . sct.inf.ethz.ch\/projects\/student_docs\/Yoshimi_Takano. Y. Takano. Implementing uniqueness and ownership transfer in the Universe Type System. Master's thesis, ETH Zurich, 2007. sct.inf.ethz.ch\/projects\/student_docs\/Yoshimi_Takano."}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":36,"alternative-id":["10.1145\/1297027.1297061","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297061","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297061","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}