{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:30Z","timestamp":1763467830822,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T00:00:00Z","timestamp":1189123200000},"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,9,7]]},"DOI":"10.1145\/1287624.1287637","type":"proceedings-article","created":{"date-parts":[[2007,9,26]],"date-time":"2007-09-26T17:32:33Z","timestamp":1190827953000},"page":"75-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Object and reference immutability using Java generics"],"prefix":"10.1145","author":[{"given":"Yoav","family":"Zibin","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Alex","family":"Potanin","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, Wellington, New Zealand"}]},{"given":"Mahmood","family":"Ali","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Shay","family":"Artzi","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Adam","family":"Kie|un","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]}],"member":"320","published-online":{"date-parts":[[2007,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"M-TOOS","author":"Artzi S.","year":"2006","unstructured":"S. Artzi , M. D. Ernst , A. Kie\u017eun , C. Pacheco , and J. H. Perkins . Finding the needles in the haystack: Generating legal test inputs for object-oriented programs . In M-TOOS , Oct. 2006 . S. Artzi, M. D. Ernst, A. Kie\u017eun, C. Pacheco, and J. H. Perkins. Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In M-TOOS, Oct. 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028980"},{"key":"e_1_3_2_1_4_1","volume-title":"FTfJP","author":"Boyland J.","year":"2005","unstructured":"J. Boyland . Why we should not add readonly to Java (yet) . In FTfJP , July 2005 . J. Boyland. Why we should not add readonly to Java (yet). In FTfJP, July 2005."},{"key":"e_1_3_2_1_5_1","first-page":"2","volume-title":"ECOOP","author":"Boyland J.","year":"2001","unstructured":"J. Boyland , J. Noble , and W. Retert . Capabilities for sharing: A generalisation of uniqueness and read-only . In ECOOP , pages 2 -- 27 , June 2001 . J. Boyland, J. Noble, and W. Retert. Capabilities for sharing: A generalisation of uniqueness and read-only. In ECOOP, pages 2--27, June 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1031::AID-CPE354>3.0.CO;2-O"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_12_1","volume-title":"Oct.","author":"Dietl W.","year":"2005","unstructured":"W. Dietl and P. M\u00fcller . Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8):5--32 , Oct. 2005 . W. Dietl and P. M\u00fcller. Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8):5--32, Oct. 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214329"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"volume-title":"Oct. 17, 2006.","author":"Ernst M. D.","key":"e_1_3_2_1_15_1","unstructured":"M. D. Ernst and D. Coward . JSR 308: Annotations on Java types. http:\/\/pag.csail.mit.edu\/jsr308\/ , Oct. 17, 2006. M. D. Ernst and D. Coward. JSR 308: Annotations on Java types. http:\/\/pag.csail.mit.edu\/jsr308\/, Oct. 17, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949332"},{"key":"e_1_3_2_1_17_1","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler M.","year":"2000","unstructured":"M. Fowler . Refactoring: Improving the Design of Existing Code . Addison-Wesley , 2000 . M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_18_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification . Addison Wesley , Boston, MA , third edition, 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, Boston, MA, third edition, 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218584"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152649.1152650"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.372"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.25"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/583810.583833"},{"key":"e_1_3_2_1_26_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167500"},{"key":"e_1_3_2_1_29_1","volume-title":"FTfJP","author":"Skoglund M.","year":"2001","unstructured":"M. Skoglund and T. Wrigstad . A mode system for read-only references in Java . In FTfJP , June 2001 . M. Skoglund and T. Wrigstad. A mode system for read-only references in Java. In FTfJP, June 2001."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940097"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_23"}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1287624.1287637","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1287624.1287637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:50Z","timestamp":1750258670000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1287624.1287637"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,7]]},"references-count":30,"alternative-id":["10.1145\/1287624.1287637","10.1145\/1287624"],"URL":"https:\/\/doi.org\/10.1145\/1287624.1287637","relation":{},"subject":[],"published":{"date-parts":[[2007,9,7]]},"assertion":[{"value":"2007-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}