{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:31Z","timestamp":1772163931240,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,16]],"date-time":"2006-10-16T00:00:00Z","timestamp":1160956800000},"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":[[2006,10,16]]},"DOI":"10.1145\/1167473.1167500","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"311-324","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Generic ownership for generic Java"],"prefix":"10.1145","author":[{"given":"Alex","family":"Potanin","sequence":"first","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[{"name":"Centrum voor Wiskunde en Informatica, The Netherlands"}]},{"given":"Robert","family":"Biddle","sequence":"additional","affiliation":[{"name":"Carleton University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2006,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"Abadi M.","year":"1996","unstructured":"Abadi , M. , and Cardelli , L . A Theory of Objects . Springer-Verlag , Berlin, Heidelberg , Germany, 1996 . Abadi, M., and Cardelli, L. A Theory of Objects. Springer-Verlag, Berlin, Heidelberg, Germany, 1996."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167479"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91652"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP)","author":"Barnett M.","year":"2003","unstructured":"Barnett , M. , DeLine , R. , Fahndrich , M. , Leino , K. R. M. , and Schulte , W . Verification of object-oriented programs with invariants . In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) ( Darmstadt, Germany , July 2003 ), Springer-Verlag, Berlin, Heidelberg, Germany. Barnett, M., DeLine, R., Fahndrich, M., Leino, K. R. M., and Schulte, W. Verification of object-oriented programs with invariants. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Darmstadt, Germany, July 2003), Springer-Verlag, Berlin, Heidelberg, Germany."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Proceedings of International Workshop on Aliasing, Confinement, and Ownership (IWACO), D. Clarke, Ed","author":"Boyapati C.","year":"2003","unstructured":"Boyapati , C. , Lee , R. , and Rinard , M . Safe runtime downcasts with ownership types . In Proceedings of International Workshop on Aliasing, Confinement, and Ownership (IWACO), D. Clarke, Ed . Utrecht University , July 2003 , pp. 1 -- 14 . Boyapati, C., Lee, R., and Rinard, M. Safe runtime downcasts with ownership types. In Proceedings of International Workshop on Aliasing, Confinement, and Ownership (IWACO), D. Clarke, Ed. Utrecht University, July 2003, pp. 1--14."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604156"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040329"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949339"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277670"},{"key":"e_1_3_2_1_22_1","first-page":"448","volume-title":"Phantom Types and Subtyping. In International Conference on Theoretical Computer Science (TCS) (Aug.","author":"Fluet M.","year":"2002","unstructured":"Fluet , M. , and Pucella , R . Phantom Types and Subtyping. In International Conference on Theoretical Computer Science (TCS) (Aug. 2002 ), pp. 448 -- 460 . Fluet, M., and Pucella, R. Phantom Types and Subtyping. In International Conference on Theoretical Computer Science (TCS) (Aug. 2002), pp. 448--460."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504300"},{"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.1145\/130943.130947"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of Workshop on Foundations of Object-Oriented Languages (FOOL)","author":"Igarashi A.","year":"2001","unstructured":"Igarashi , A. , Pierce , B. C. , and Wadler , P . A recipe for raw types . In Proceedings of Workshop on Foundations of Object-Oriented Languages (FOOL) ( 2001 ). Igarashi, A., Pierce, B. C., and Wadler, P. A recipe for raw types. In Proceedings of Workshop on Foundations of Object-Oriented Languages (FOOL) (2001)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094814"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378797"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065023"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318640"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_22"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_21"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of European Conference on Object-Oriented Programming (ECOOP)","author":"Lu Y.","year":"2006","unstructured":"Lu , Y. , and Potter , J . Flexible ownership types with owner variance . In Proceedings of European Conference on Object-Oriented Programming (ECOOP) ( 2006 ). Lu, Y., and Potter, J. Flexible ownership types with owner variance. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (2006)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111069"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_5"},{"key":"e_1_3_2_1_39_1","volume-title":"Fernuniversit\u00e4t Hagen","author":"M\u00fcller P.","year":"1999","unstructured":"M\u00fcller , P. , and Poetzsch-Heffter , A . Programming Languages and Fundamentals of Programming . Fernuniversit\u00e4t Hagen , 1999 , ch. Universes : a Type System for Controlling Representation Exposure. Poetzsch-Heffter, A. and Meyer, J. (editors). M\u00fcller, P., and Poetzsch-Heffter, A. Programming Languages and Fundamentals of Programming. Fernuniversit\u00e4t Hagen, 1999, ch. Universes: a Type System for Controlling Representation Exposure. Poetzsch-Heffter, A. and Meyer, J. (editors)."},{"key":"e_1_3_2_1_40_1","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"Proceedings of European Conference on Object-Oriented Programming (ECOOP) (July","author":"Noble J.","year":"1998","unstructured":"Noble , J. , Vitek , J. , and Potter , J . Flexible Alias Protection . In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (July 1998 ), E. Jul, Ed ., vol. 1445 of Lecture Notes in Computer Science (LNCS) , Springer-Verlag , Berlin, Heidelberg, Germany, pp. 158 -- 185 . Noble, J., Vitek, J., and Potter, J. Flexible Alias Protection. In Proceedings of European Conference on Object-Oriented Programming (ECOOP) (July 1998), E. Jul, Ed., vol. 1445 of Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, Heidelberg, Germany, pp. 158--185."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253351"},{"key":"e_1_3_2_1_42_1","volume-title":"A type system for preventing data races and deadlocks in the java virtual machine language. Tech. rep","author":"Permandla P.","year":"2005","unstructured":"Permandla , P. , and Boyapati , C . A type system for preventing data races and deadlocks in the java virtual machine language. Tech. rep ., University of Michigan , 2005 . Permandla, P., and Boyapati, C. A type system for preventing data races and deadlocks in the java virtual machine language. Tech. rep., University of Michigan, 2005."},{"key":"e_1_3_2_1_43_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"Pierce , B. C. Types and Programming Languages . MIT Press , 2002 . Pierce, B. C. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Potanin A. Ownership Generic Java Download. http:\/\/www.mcs.vuw.ac.nz\/~ alex\/ogj\/ 2005.  Potanin A. Ownership Generic Java Download. http:\/\/www.mcs.vuw.ac.nz\/~ alex\/ogj\/ 2005.","DOI":"10.1145\/1167473.1167500"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP)","author":"Potanin A.","year":"2004","unstructured":"Potanin , A. , Noble , J. , Clarke , D. , and Biddle , R . Defaulting Generic Java to Ownership . In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) ( Oslo, Norway , June 2004 ), Springer-Verlag, Berlin, Heidelberg, Germany. Potanin, A., Noble, J., Clarke, D., and Biddle, R. Defaulting Generic Java to Ownership. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Oslo, Norway, June 2004), Springer-Verlag, Berlin, Heidelberg, Germany."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Glasgow, Scotland","author":"Potanin A.","year":"2005","unstructured":"Potanin , A. , Noble , J. , Clarke , D. , and Biddle , R . Featherweight Generic Ownership . In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Glasgow, Scotland , July 2005 ), Springer-Verlag, Berlin, Heidelberg, Germany. Potanin, A., Noble, J., Clarke, D., and Biddle, R. Featherweight Generic Ownership. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (FTfJP) (Glasgow, Scotland, July 2005), Springer-Verlag, Berlin, Heidelberg, Germany."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006125"},{"key":"e_1_3_2_1_48_1","volume-title":"Featherweight generic ownership. Tech. rep","author":"Potanin A.","year":"2006","unstructured":"Potanin , A. , Noble , J. , Clarke , D. , and Biddle , R . Featherweight generic ownership. Tech. rep ., Victoria University of Wellington , 2006 . http:\/\/www.mcs.vuw.ac.nz\/~alex\/FGOTR.pdf. Potanin, A., Noble, J., Clarke, D., and Biddle, R. Featherweight generic ownership. Tech. rep., Victoria University of Wellington, 2006. http:\/\/www.mcs.vuw.ac.nz\/~alex\/FGOTR.pdf."},{"key":"e_1_3_2_1_49_1","volume-title":"Find Bugs - A Bug Pattern Detector for Java. www.cs.umd.edu\/~pugh\/jva\/bugs\/","author":"Pugh B.","year":"2003","unstructured":"Pugh , B. Find Bugs - A Bug Pattern Detector for Java. www.cs.umd.edu\/~pugh\/jva\/bugs\/ , 2003 . Pugh, B. Find Bugs - A Bug Pattern Detector for Java. www.cs.umd.edu\/~pugh\/jva\/bugs\/, 2003."},{"key":"e_1_3_2_1_50_1","volume-title":"Java Development Kit. Available at: http:\/\/java.sun.com\/j2se\/","author":"Sun Microsystems","year":"2005","unstructured":"Sun Microsystems . Java Development Kit. Available at: http:\/\/java.sun.com\/j2se\/ , 2005 . Sun Microsystems. Java Development Kit. Available at: http:\/\/java.sun.com\/j2se\/, 2005."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000393"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.2.a1"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.369"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005691"}],"event":{"name":"OOPSLA06: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Portland Oregon USA","acronym":"OOPSLA06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167473.1167500","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1167473.1167500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:15Z","timestamp":1750248495000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167473.1167500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,16]]},"references-count":53,"alternative-id":["10.1145\/1167473.1167500","10.1145\/1167473"],"URL":"https:\/\/doi.org\/10.1145\/1167473.1167500","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1167515.1167500","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,10,16]]},"assertion":[{"value":"2006-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}