A practical type system and language for reference immutability

ACM SIGPLAN Notices

Volumn 39, Issue 10, 2004, Pages 35-49

  Birka, Adrian ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

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

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SOFTWARE; CONSTRAINT THEORY; DATA REDUCTION; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

CONST; IMMUTABILITY; JAVA; JAVARI; MUTABLE; READONLY; TYPE SYSTEM; VERIFICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 17044411722     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1035292.1028980     Document Type: Conference Paper

References (38)

1. A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local non-aliasing. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 129-140, San Diego, CA, June 9-11, 2003.
2. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2002), pages 311-330, Seattle, WA, USA, Oct. 28-30, 2002.
3. D. F. Bacon and P. F. Sweeney. Fast static analysis of C++ virtual function calls. In Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 324-341, San Jose, CA, USA, Oct. 6-10, 1996.
4. A. Birka. Compiler-enforced immutability for the Java language. Technical Report MIT-LCS-TR-908, MIT Laboratory for Computer Science, Cambridge, MA, June 2003. Revision of Master's thesis.
5. J. Bloch. Effective Java Programming Language Guide. Addison Wesley, Boston, MA, 2001.
6. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In Proceedings of the 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 213-223, New Orleans, LA, Jan. 15-17, 2003.
7. J. Boyland, J. Noble, and W. Retert. Capabilities for sharing: A generalisation of uniqueness and read-only. In ECOOP 2001 - Object-Oriented Programming, 15th European Conference, pages 2-27, Budapest, Hungary, June 18-22, 2001.
8. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '98), pages 183-200, Vancouver, BC, Canada, Oct. 20-22, 1998.
9. J.-D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midkiff. Escape analysis for Java. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '99), pages 1-19, Denver, Colorado, Nov. 3-5, 1999.
10. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP '95, the 9th European Conference on Object-Oriented Programming, pages 77-101, Åarhus, Denmark, Aug. 7-11, 1995.
11. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2): 1-25, Feb. 2001. A previous version appeared in ICSE '99, Proceedings of the 21st International Conference on Software Engineering, pages 213-224, Los Angeles, CA, USA, May 19-21, 1999.
12. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2): 1-25, Feb. 2001. A previous version appeared in ICSE '99, Proceedings of the 21st International Conference on Software Engineering, pages 213-224, Los Angeles, CA, USA, May 19-21, 1999.
13. D. Evans. Static detection of dynamic memory errors. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 44-53, Philadelphia, PA, May 21-24, 1996.
14. M. Fähndrich and R. DeLine. Adoption and focus: Practical linear types for imperative programming. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 13-24, Berlin, Germany, June 17-19, 2002.
15. J. S. Foster, M. Fähndrich, and A. Aiken. A theory of type qualifiers. In Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pages 192-203, Atlanta, GA, May 1-4, 1999.
16. J. S. Foster, T. Terauchi, and A. Aiken. Flow-sensitive type qualifiers. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 1-12, Berlin, Germany, June 17-19, 2002.
17. J. D. Gannon. An experimental evaluation of data type conventions. Commun. ACM, 20(8):584-595, Aug. 1977.
18. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, Boston, MA, second edition, 2000.
19. G. Kniesel and D. Theisen. JAC - access right based encapsulation for Java. Software: Practice and Experience, 31(6):555-576, 2001.
20. D. Lea. Personal communictation, Aug. 1, 2004.
21. X. Leroy. The Objective Caml system, release 3.07, Sept. 29, 2003. with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon.
22. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. In Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 47-57, San Diego, CA, Jan. 1988.
23. S. Meyers. Effective C++. Addison-Wesley, second edition, 1997.
24. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
25. J. H. Morris. Sniggering type checker experiment. Experiment at Xerox PARC, 1978. Personal communication, May 2004.
26. P. Müller and A. Poetzsch-Heffter. Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversität Hagen, 2001.
27. F. Nielson and H. R. Nielson. Type and effect systems. In E. R. Olderog and B. Steffen, editors, Correct System Design, number 1710 in Lecture Notes in Computer Science, pages 114-136. Springer-Verlag, 1999.
28. J. Palsberg. Type-based analysis and applications. In ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), Snowbird, Utah, USA, June 18-19, 2001.
29. Y. G. Park and B. Goldberg. Escape analysis on lists. In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 116-127, San Francisco, CA, June 17-19, 1992.
30. I. Pechtchanski and V. Sarkar. Immutability specification and its applications. In Joint ACM-ISCOPE Java Grande Conference, pages 202-211, Seattle, WA, Nov. 3-5, 2002.
31. S. Porat, M. Biberstein, L. Koved, and B. Mendelson. Automatic detection of immutable fields in Java. In CASCON, Mississauga, Ontario, Canada, Nov. 13-16, 2000.
32. L. Prechelt and W. F. Tichy. A controlled experiment to assess the benefits of procedure argument type checking. IEEE Transactions on Software Engineering, 24(4):302-312, Apr. 1998.
33. A. Salcianu and M. Rinard. Pointer and escape analysis for multithreaded programs. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 12-23, Snowbird, Utah, June 18-20 2001.
34. M. Skoglund and T. Wrigstad. A mode system for read-only references in Java. In 3rd Workshop on Formal Techniques for Java Programs, Budapest, Hungary, June 18, 2001. Revised.
35. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, SE-12(1):157-171, Jan. 1986.
36. B. Stroustrup. The C++ Programming Language. Addison-Wesley, Boston, MA, special edition, 2000.
37. J.-P. Talpin and P. Jouvelot. The type and effect discipline. In Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pages 162-173, Santa Cruz, CA, June 22-25 1992.
38. P. 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, Apr. 1990.