{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:41:32Z","timestamp":1780994492201,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,14]],"date-time":"2017-05-14T00:00:00Z","timestamp":1494720000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSA","award":["H98230-14-C-0140"],"award-info":[{"award-number":["H98230-14-C-0140"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1423054"],"award-info":[{"award-number":["CNS-1423054"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Software Engineering Institute","award":["FA8721-05-C-0003"],"award-info":[{"award-number":["FA8721-05-C-0003"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2884781.2884798","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T14:21:10Z","timestamp":1463149270000},"page":"736-747","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Exploring language support for immutability"],"prefix":"10.1145","author":[{"given":"Michael","family":"Coblenz","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joshua","family":"Sunshine","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brad","family":"Myers","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Weber","sequence":"additional","affiliation":[{"name":"Software Engineering Institute, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Forrest","family":"Shull","sequence":"additional","affiliation":[{"name":"Software Engineering Institute, Pittsburgh, PA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/26777"},{"key":"e_1_3_2_1_2_1","volume-title":"European Conference on Object-Oriented Programming.","author":"Almeida P. S.","year":"1997","unstructured":"P. S. Almeida. Balloon types: Controlling sharing of state in data types. In European Conference on Object-Oriented Programming. 1997."},{"key":"e_1_3_2_1_3_1","first-page":"1815A","author":"American National Standards Institute","year":"1983","unstructured":"American National Standards Institute. Military Standard Ada Programming Language, 1983. Also MIL-STD-1815A.","journal-title":"Military Standard Ada Programming Language"},{"key":"e_1_3_2_1_4_1","volume-title":"The Pascal Programming Language","author":"American National Standards Institute.","year":"1983","unstructured":"American National Standards Institute. The Pascal Programming Language. ANSI\/IEEE 770X3.97-1983, 1983."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/523184"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1407381"},{"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.5555\/646158.680004"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/142137.142141"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"M. Coblenz J. Sunshine J. Aldrich B. Myers S. Weber and F. Shull. Exploring language support for immutability. Technical Report CMU-ISR-16-106 Carnegie Mellon University 2016.","DOI":"10.1145\/2884781.2884798"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394763"},{"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.1145\/2384616.2384619"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762207"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/53580.53581"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.372"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/298616"},{"key":"e_1_3_2_1_23_1","unstructured":"Microsoft Inc. Freezable objects overview. https:\/\/msdn.microsoft.com\/en-us\/library\/vstudio\/ms750509(v=vs.100).aspx. Accessed Feb. 8 2016."},{"key":"e_1_3_2_1_24_1","volume-title":"https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference\/Global_Objects\/Object\/freeze. Accessed","author":"Network Mozilla Developer","year":"2016","unstructured":"Mozilla Developer Network. Object.freeze(). https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference\/Global_Objects\/Object\/freeze. Accessed Feb. 9, 2016."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015864.1015888"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/529793"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97281"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679699"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2554511.2554525"},{"key":"e_1_3_2_1_30_1","unstructured":"Apple Inc. The Foundation Framework. https:\/\/developer.apple.com\/library\/mac\/documentation\/Cocoa\/Reference\/Foundation\/ObjC_classic\/. Accessed Feb. 8 2016."},{"key":"e_1_3_2_1_31_1","volume-title":"Framework design guidelines. https:\/\/msdn.microsoft.com\/en-us\/library\/ms229031(v=vs.110).aspx. Accessed","author":"Microsoft Corp.","year":"2016","unstructured":"Microsoft Corp. Framework design guidelines. https:\/\/msdn.microsoft.com\/en-us\/library\/ms229031(v=vs.110).aspx. Accessed Feb. 8, 2016."},{"key":"e_1_3_2_1_32_1","volume-title":"The Rust programming language. https:\/\/www.rust-lang.org. Accessed","author":"Research Mozilla","year":"2016","unstructured":"Mozilla Research. The Rust programming language. https:\/\/www.rust-lang.org. Accessed Feb. 8, 2016."},{"key":"e_1_3_2_1_33_1","unstructured":"Oracle Corp. Secure coding guidelines for the Java SE version 4.0. http:\/\/www.oracle.com\/technetwork\/java\/seccodeguide-139067.html#6. Accessed Feb. 8 2016."},{"key":"e_1_3_2_1_34_1","unstructured":"University of Washington. IGJ immutability checker. http:\/\/types.cs.washington.edu\/checker-framework\/current\/checker-framework-manual.html#igj-checker. Accessed Feb. 8 2016."},{"key":"e_1_3_2_1_35_1","unstructured":"University of Washington. The Checker Framework. http:\/\/types.cs.washington.edu\/checker-framework\/. Accessed Feb. 8 2016."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1502209"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2530475"},{"key":"e_1_3_2_1_38_1","volume-title":"3rd Workshop on Formal Techniques for Java Programs","author":"Skoglund M.","year":"2001","unstructured":"M. Skoglund and T. Wrigstand. A mode system for read-only references in Java. In 3rd Workshop on Formal Techniques for Java Programs, 2001."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.92"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328463"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818785"},{"key":"e_1_3_2_1_43_1","volume-title":"A conversation with anders hejlsberg, part viii","author":"Venners B.","year":"2004","unstructured":"B. Venners and B. Eckel. A conversation with anders hejlsberg, part viii. Feb. 2004."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287637"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869509"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","location":"Austin Texas","acronym":"ICSE '16","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 38th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884798","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:21:43Z","timestamp":1763457703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":45,"alternative-id":["10.1145\/2884781.2884798","10.1145\/2884781"],"URL":"https:\/\/doi.org\/10.1145\/2884781.2884798","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}