Javari: Adding reference immutability to Java

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2005, Pages 211-230

  Tschantz, Matthew S ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Assignable; Immutability; Java; Javari; Mutable; Readonly; Type system; Verification

Indexed keywords

ABSTRACTING; CONSTRAINT THEORY;

ASSIGNABLE; IMMUTABILITY; JAVARI; MUTABLE; TYPE SYSTEM;

JAVA PROGRAMMING LANGUAGE;

EID: 31744448990     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, 1986.
2. Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi. Checking and inferring local non-aliasing. In PLDI, pages 129-140, June 2003.
3. Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In OOPSLA, pages 311-330, October 2002.
4. Adrian Birka. Compiler-enforced immutability for the Java language. Technical Report MIT-LCS-TR-908, MIT Lab for Computer Science, June 2003. Revision of Master's thesis.
5. Adrian Birka and Michael D. Ernst. A practical type system and language for reference immutability. In OOPSLA, pages 35-49, October 2004.
6. Joshua Bloch. Effective Java Programming Language Guide. Addison Wesley, Boston, MA, 2001.
7. Chandrasekhar Boyapati, Barbara Liskov, and Liuba Shrira. Ownership types for object encapsulation. In POPL, pages 213-223, January 2003.
8. John Boyland. Checking interference with fractional permissions. In SAS, pages 55-72, June 11-13, 2003.
9. John Boyland. Why we should not add readonly to Java (yet). In FTfJP, July 2005.
10. John Boyland, James Noble, and William Retert. Capabilities for sharing: A generalisation of uniqueness and read-only. In ECOOP, pages 2-27, June 2001.
11. David G. Clarke, James Noble, and John M. Potter. Simple ownership types for object containment. In ECOOP, pages 53-76, June 2001.
12. David Evans. Static detection of dynamic memory errors. In PLDI, pages 44-53, May 1996.
13. David Evans, John Guttag, James Horning, and Yang Meng Tan. LCLint: A tool for using specifications to check code. In FSE, pages 87-97, December 1994.
14. Manuel Fähndrich and Robert DeLine. Adoption and focus: Practical linear types for imperative programming. In PLDI, pages 13-24, June 2002.
15. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In POPL, pages 171-183, January 1998.
16. Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. A theory of type qualifiers. In PLDI, pages 192-203, June 1999.
17. Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-sensitive type qualifiers. In PLDI, pages 1-12. June 2002.
18. John D. Gannon. An experimental evaluation of data type conventions. CACM, 20(8):584-595, August 1977.
19. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison Wesley, Boston, MA, second edition, 2000.
20. Atsushi Igarashi, Benjamin C. Plerce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, May 2001.
21. Günter Kniesel and Dirk Theisen. JAC - access right based encapsulation for Java. Software; Practice and Experience, 31(6):555-576, 2001.
22. Xavier Leroy. The Objective Caml system, release 3.07, September 29, 2003. with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon.
23. John M. Lucassen and David K. Gifford. Polymorphic effect systems. In POPL, pages 47-57, January 1988.
24. Scott Meyers. Effective C++. Addison-Wesley, second edition, 1997.
25. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
26. Robin Milner, Mads Tofte, Robert Harper, and Dave MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
27. James H. Morris. Sniggering type checker experiment. Experiment at Xerox PARC, 1978. Personal communication, May 2004.
28. P. Müller and A. Poetzsch-Heffter. Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversität Hagen, 2001.
29. F. Nielson and H. R. Nielson. Type and effect systems. In Correct System Design, number 1710 in LNCS, pages 114-136. Springer-Verlag, 1999.
30. Jens Palsberg. Type-based analysis and applications. In PASTE, June 2001.
31. Igor Pechtchanski and Vivek Sarkar. Immutability specification and its applications. In Java Grande, pages 202-211, November 2002.
32. Sara Porat, Marina Biberstein, Larry Koved, and Bilba Mendelson. Automatic detection of immutable fields in Java. In CASCON, November 2000.
33. Lutz Prechelt and Walter F. Tichy. A controlled experiment to assess the benefits of procedure argument type checking. IEEE TSE, 24(4):302-312, April 1998.
34. 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.
35. Daniel Dominic Sleator and Robert Endre Tarjan. Self-adjusting binary search trees. Journal of the ACM, 32(3):652-686, July 1985.
36. Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, Boston, MA, special edition, 2000.
37. Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. In LICS, pages 162-173, June 1992.
38. Matthew S. Tschantz and Michael D. Ernst. Javari: Adding reference immutability to Java. Technical report, MIT Lab for Computer Science, August 2005.
39. 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.