{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:00Z","timestamp":1772163960401,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T00:00:00Z","timestamp":1129075200000},"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,10,12]]},"DOI":"10.1145\/1094811.1094828","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"211-230","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":75,"title":["Javari"],"prefix":"10.1145","author":[{"given":"Matthew S.","family":"Tschantz","sequence":"first","affiliation":[{"name":"MIT CSAIL, Cambridge, MA"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"MIT CSAIL, Cambridge, MA"}]}],"member":"320","published-online":{"date-parts":[[2005,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D. Ullman . Compilers: Principles, Techniques, and Tools . Addison-Wesley , Reading, Massachusetts , 1986 .]] Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, 1986.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781146"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028980"},{"key":"e_1_3_2_1_6_1","volume-title":"Effective Java Programming Language Guide","author":"Bloch Joshua","year":"2001","unstructured":"Joshua Bloch . Effective Java Programming Language Guide . Addison Wesley , Boston, MA , 2001 .]] Joshua Bloch. Effective Java Programming Language Guide. Addison Wesley, Boston, MA, 2001.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604156"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_1_9_1","volume-title":"FTfJP","author":"Boyland John","year":"2005","unstructured":"John Boyland . Why we should not add readonly to Java (yet) . In FTfJP , July 2005 .]] John Boyland. Why we should not add readonly to Java (yet). In FTfJP, July 2005.]]"},{"key":"e_1_3_2_1_10_1","first-page":"2","volume-title":"ECOOP","author":"Boyland John","year":"2001","unstructured":"John Boyland , James Noble , and William Retert . Capabilities for sharing: A generalisation of uniqueness and read-only . In ECOOP , pages 2 -- 27 , June 2001 .]] John Boyland, James Noble, and William Retert. Capabilities for sharing: A generalisation of uniqueness and read-only. In ECOOP, pages 2--27, June 2001.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680008"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231389"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195297"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359800"},{"key":"e_1_3_2_1_19_1","volume-title":"The Java Language Specification","author":"Gosling James","year":"2000","unstructured":"James Gosling , Bill Joy , Guy Steele , and Gilad Bracha . The Java Language Specification . Addison Wesley , Boston, MA , second edition, 2000 .]] James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison Wesley, Boston, MA, second edition, 2000.]]"},{"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.1002\/spe.372"},{"key":"e_1_3_2_1_22_1","volume-title":"September 29","author":"Leroy Xavier","year":"2003","unstructured":"Xavier Leroy . The Objective Caml system, release 3.07 , September 29 , 2003 . with Damien Doligez, Jacques Garrigue , Didier R\u00e9my and J\u00e9r\u00f4me Vouillon .]] Xavier Leroy. The Objective Caml system, release 3.07, September 29, 2003. with Damien Doligez, Jacques Garrigue, Didier R\u00e9my and J\u00e9r\u00f4me Vouillon.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_24_1","volume-title":"Addison-Wesley","author":"Meyers Scott","year":"1997","unstructured":"Scott Meyers . Effective C++. Addison-Wesley , second edition, 1997 .]] Scott Meyers. Effective C++. Addison-Wesley, second edition, 1997.]]"},{"key":"e_1_3_2_1_25_1","volume-title":"The Definition of Standard ML","author":"Milner Robin","year":"1990","unstructured":"Robin Milner , Mads Tofte , and Robert Harper . The Definition of Standard ML . MIT Press , 1990 .]] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_27_1","volume-title":"Sniggering type checker experiment. Experiment at Xerox PARC","author":"Morris James H.","year":"1978","unstructured":"James H. Morris . Sniggering type checker experiment. Experiment at Xerox PARC , 1978 . Personal communication, May 2004.]] James H. Morris. Sniggering type checker experiment. Experiment at Xerox PARC, 1978. Personal communication, May 2004.]]"},{"key":"e_1_3_2_1_29_1","first-page":"114","volume-title":"Correct System Design, number 1710 in LNCS","author":"Nielson F.","year":"1999","unstructured":"F. Nielson and H. R. Nielson . Type and effect systems . In Correct System Design, number 1710 in LNCS , pages 114 -- 136 . Springer-Verlag , 1999 .]] F. Nielson and H. R. Nielson. Type and effect systems. In Correct System Design, number 1710 in LNCS, pages 114--136. Springer-Verlag, 1999.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379635"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/583810.583833"},{"key":"e_1_3_2_1_32_1","volume-title":"CASCON","author":"Porat Sara","year":"2000","unstructured":"Sara Porat , Marina Biberstein , Larry Koved , and Bilba Mendelson . Automatic detection of immutable fields in Java . In CASCON , November 2000 .]] Sara Porat, Marina Biberstein, Larry Koved, and Bilba Mendelson. Automatic detection of immutable fields in Java. In CASCON, November 2000.]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.677186"},{"key":"e_1_3_2_1_34_1","volume-title":"3rd Workshop on Formal Techniques for Java Programs","author":"Skoglund Mats","year":"2001","unstructured":"Mats Skoglund and Tobias Wrigstad . A mode system for read-only references in Java . In 3rd Workshop on Formal Techniques for Java Programs , June 18, 2001 . Revised.]] Mats Skoglund and Tobias Wrigstad. A mode system for read-only references in Java. In 3rd Workshop on Formal Techniques for Java Programs, June 18, 2001. Revised.]]"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3835"},{"key":"e_1_3_2_1_36_1","volume-title":"The C++ Programming Language","author":"Stroustrup Bjarne","year":"2000","unstructured":"Bjarne Stroustrup . The C++ Programming Language . Addison-Wesley , Boston, MA , special edition, 2000 .]] Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, Boston, MA, special edition, 2000.]]"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185530"},{"key":"e_1_3_2_1_38_1","volume-title":"MIT Lab for Computer Science","author":"Matthew","year":"2005","unstructured":"Matthew S. Tschantz and Michael D. Ernst. Javari: Adding reference immutability to Java. Technical report , MIT Lab for Computer Science , August 2005 .]] Matthew S. Tschantz and Michael D. Ernst. Javari: Adding reference immutability to Java. Technical report, MIT Lab for Computer Science, August 2005.]]"},{"key":"e_1_3_2_1_39_1","volume-title":"Sea of Galilee","author":"Wadler Philip","year":"1990","unstructured":"Philip Wadler . Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 347--359 , Sea of Galilee , Israel , April 1990 .]] Philip Wadler. Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 347--359, Sea of Galilee, Israel, April 1990.]]"}],"event":{"name":"OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"San Diego CA USA","acronym":"OOPSLA05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094828","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1094811.1094828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:13Z","timestamp":1750263733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094828"}},"subtitle":["adding reference immutability to Java"],"short-title":[],"issued":{"date-parts":[[2005,10,12]]},"references-count":37,"alternative-id":["10.1145\/1094811.1094828","10.1145\/1094811"],"URL":"https:\/\/doi.org\/10.1145\/1094811.1094828","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1103845.1094828","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,12]]},"assertion":[{"value":"2005-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}