{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:44:40Z","timestamp":1772163880553,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,12]],"date-time":"2005-01-12T00:00:00Z","timestamp":1105488000000},"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":[[2005,1,12]]},"DOI":"10.1145\/1040305.1040329","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:58:48Z","timestamp":1107089928000},"page":"283-295","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Connecting effects and uniqueness with adoption"],"prefix":"10.1145","author":[{"given":"John Tang","family":"Boyland","sequence":"first","affiliation":[{"name":"University of Wisconsin--Milwaukee, Milwaukee, WI"}]},{"given":"William","family":"Retert","sequence":"additional","affiliation":[{"name":"University of Wisconsin--Milwaukee, Milwaukee, WI"}]}],"member":"320","published-online":{"date-parts":[[2005,1,12]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"2001","author":"Boyland J.","year":"2001","unstructured":"Boyland , J. : The interdependence of effects and uniqueness. Paper from Workshop on Formal Techniques for Java Programs , 2001 ( 2001 ).]] Boyland, J.: The interdependence of effects and uniqueness. Paper from Workshop on Formal Techniques for Java Programs, 2001 (2001).]]","journal-title":"Workshop on Formal Techniques for Java Programs"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/199818.199860"},{"key":"e_1_3_2_1_4_1","volume-title":"10th European Conference.","volume":"1098","author":"Minsky N.","year":"1996","unstructured":"Minsky , N. : Towards alias-free pointers. In Cointe, P., ed.: ECOOP'96 --- Object-Oriented Programming , 10th European Conference. Volume 1098 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer ( 1996 ) 189--209.]] Minsky, N.: Towards alias-free pointers. In Cointe, P., ed.: ECOOP'96 --- Object-Oriented Programming, 10th European Conference. Volume 1098 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (1996) 189--209.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_6_1","volume-title":"Wrigstad","author":"Clarke D.","year":"2003","unstructured":"Clarke , D. , Wrigstad , T. : External uniqueness. In Pierce, B.C., ed.: Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages 2003 (FOOL 10). (2003).]] Clarke, D., Wrigstad, T.: External uniqueness. In Pierce, B.C., ed.: Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages 2003 (FOOL 10). (2003).]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(99)00043-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512559"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_15_1","volume-title":"13th European Conference.","volume":"1628","author":"Greenhouse A.","year":"1999","unstructured":"Greenhouse , A. , Boyland , J. : An object-oriented effects system. In Guerraoui, R., ed.: ECOOP'99 --- Object-Oriented Programming , 13th European Conference. Volume 1628 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer ( 1999 ) 205--229.]] Greenhouse, A., Boyland, J.: An object-oriented effects system. In Guerraoui, R., ed.: ECOOP'99 --- Object-Oriented Programming, 13th European Conference. Volume 1628 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (1999) 205--229.]]"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis: 10th International Symposium.","author":"Boyland J.","year":"2003","unstructured":"Boyland , J. : Checking interference with fractional permissions . In Cousot, R., ed.: Static Analysis: 10th International Symposium. Volume 2694 of Lecture Notes in Computer Science ., Berlin, Heidelberg, New York, Springer ( 2003 ) 55--72.]] Boyland, J.: Checking interference with fractional permissions. In Cousot, R., ed.: Static Analysis: 10th International Symposium. Volume 2694 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (2003) 55--72.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286953"},{"key":"e_1_3_2_1_19_1","volume-title":"Pym","author":"O'Hearn P.","year":"1999","unstructured":"O'Hearn , P. , Pym , D. : The logic of bunched implications. Bulletin of Symbolic Logic ( 1999 ) 215--244.]] O'Hearn, P., Pym, D.: The logic of bunched implications. Bulletin of Symbolic Logic (1999) 215--244.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.375719"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964024"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","volume-title":"Pierce","author":"Bruce K.C.","year":"1997","unstructured":"Bruce , K.C. , Cardelli , L. , Pierce , B.C. : Comparing object encodings. In : Theoretical Aspects of Computer Software. Volume 1281 of Lecture Notes in Computer Science . Springer , Berlin, Heidelberg, New York ( 1997 ) 415--438.]] Bruce, K.C., Cardelli, L., Pierce, B.C.: Comparing object encodings. In: Theoretical Aspects of Computer Software. Volume 1281 of Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, New York (1997) 415--438.]]"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_25_1","volume-title":"Informal Proceedings of \"International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)\"","author":"F\u00e4hndrich M.","year":"2003","unstructured":"F\u00e4hndrich , M. , Leino , K.R.M. : Heap monotonic typestates . In: Informal Proceedings of \"International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)\" , Utrecht University, Netherlands ( 2003 ).]] F\u00e4hndrich, M., Leino, K.R.M.: Heap monotonic typestates. In: Informal Proceedings of \"International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)\", Utrecht University, Netherlands (2003).]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647229.719257"},{"key":"e_1_3_2_1_27_1","volume-title":"Logic in Computer Science","author":"Reynolds J.","year":"2002","unstructured":"Reynolds , J. : Separation logic: a logic for shared mutable data structures . In: Logic in Computer Science , Los Alamitos , California, IEEE Computer Society ( 2002 ) 55--74.]] Reynolds, J.: Separation logic: a logic for shared mutable data structures. In: Logic in Computer Science, Los Alamitos, California, IEEE Computer Society (2002) 55--74.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"9th European Symposium on Programming.","volume":"1782","author":"Smith F.","year":"2000","unstructured":"Smith , F. , Walker , D. , Morrisett , J.G. : Alias types. In Smolka, G., ed.: ESOP'00 --- Programming Languages and Systems , 9th European Symposium on Programming. Volume 1782 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer ( 2000 ) 366--381.]] Smith, F., Walker, D., Morrisett, J.G.: Alias types. In Smolka, G., ed.: ESOP'00 --- Programming Languages and Systems, 9th European Symposium on Programming. Volume 1782 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (2000) 366--381.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/363911.363923"},{"key":"e_1_3_2_1_31_1","volume-title":"Informal Proceedings of \"Second workshop on Semantics, Program Analysis, And Computing Environments For Memory Management\", University of Copenhagen","author":"Monnier S.","year":"2004","unstructured":"Monnier , S. : Typed regions . In: Informal Proceedings of \"Second workshop on Semantics, Program Analysis, And Computing Environments For Memory Management\", University of Copenhagen ( 2004 ).]] Monnier, S.: Typed regions. In: Informal Proceedings of \"Second workshop on Semantics, Program Analysis, And Computing Environments For Memory Management\", University of Copenhagen (2004).]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781168"}],"event":{"name":"POPL05: The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2005","location":"Long Beach California USA","acronym":"POPL05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040329","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040305.1040329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:25:00Z","timestamp":1750249500000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,12]]},"references-count":29,"alternative-id":["10.1145\/1040305.1040329","10.1145\/1040305"],"URL":"https:\/\/doi.org\/10.1145\/1040305.1040329","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047659.1040329","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,1,12]]},"assertion":[{"value":"2005-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}