Ownership types for object encapsulation

ACM SIGPLAN Notices

Volumn 38, Issue 1, 2003, Pages 213-223

  Boyapati, Chandrasekhar ^a   Liskov, Barbara ^a   Shrira, Liuba ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b BRANDEIS UNIVERSITY   (United States)

Author keywords

Object encapsulation; Ownership types; Software upgrades

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; STORAGE ALLOCATION (COMPUTER); THEOREM PROVING;

OBJECT ENCAPSULATION; OWNERSHIP TYPES; SOFTWARE UPGRADES;

SOFTWARE ENGINEERING;

EID: 1442265513     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/640128.604156     Document Type: Article

References (63)

1. O. Agesen, S. N. Freund, and J. C. Mitchell. Adding type parameterization to the Java language. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1997.
2. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
3. P. S. Almeida. Balloon types. Controlling sharing of state in data types. In European Conference for Object-Oriented Programming (ECOOP), June 1997.
4. M. P. Atkinson, M. A. Dmitriev, C. Hamilton, and T. Printezis. Scalable and recoverable implementation of object evolution for the PJama 1 platform. In Persistent Object Systems (POS), September 2000.
5. M. P. Atkinson, M. J. Jordan, L. Daynes, and S. Spence. Design issues for persistent Java: A type-safe, object-oriented, orthogonally persistent system. In Persistent Object Systems (POS), May 1996.
6. A. Banerjee and D. A. Naumann. Representation independence, confinement, and access control. In Principles of Programming Languages (POPL), January 2002.
7. J. Banerjee, W. Kim, H. Kim, and H. F. Korth. Semantics and implementation of schema evolution in object-oriented databases. In ACM SIGMOD International Conference on Management of Data, May 1987.
8. B. Bokowski and J. Vitek. Confined types. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1999.
9. C. Boyapati. JPS: A distributed persistent Java system. SM thesis, Massachusetts Institute of Technology, September 1998.
10. C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
11. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
12. C. Boyapati, B. Liskov, and L. Shrira. Ownership types and safe lazy upgrades in object-oriented databases. Technical Report TR-858, MIT Laboratory for Computer Science, July 2002.
13. C. Boyapati, B. Liskov, L. Shrira, C. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. Submitted for publication, November 2002.
14. C. Boyapati and M. Rihard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
15. C. Boyapati, A. Salcianu, W. Beebee, Jr., and M. Rinard. Ownership types for safe region-based memory management in Real-Time Java. Submitted for publication, November 2002.
16. 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), October 1998.
17. R. Bretl et al. The GemStone data management system. In W. Kim and F. H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications. 1989.
18. M. J. Carey et al. Shoring up persistent applications. In ACM SIGMOD International Conference on Management of Data, May 1994.
19. D. G. Clarke. Ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
20. D. G. Clarke and S. Drossopoulou. Ownership, encapsulation and disjointness of type and effect. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
21. D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
22. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1998.
23. D. G. Clarke and T. Wrigstad. External uniqueness. In Workshop on Foundations of Object-Oriented Languages (FOOL), January 2003.
24. K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Principles of Programming Languages (POPL), January 1999.
25. M. Day, R. Gruber, B. Liskov, and A. C. Myers. Subtypes vs. where clauses: Constraining parametric polymorphism. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1995.
26. R. DeLine and M. Fahndrich. Enforcing high-level protocols in low-level software. In Programming Language Design and Implementation (PLDI), June 2001.
27. R. DeLine and M. Fahndrich. Adoption and focus: Practical linear types for imperative programming. In Programming Language Design and Implementation (PLDI), June 2002.
28. D. L. Detlefs, K. R. M. Leino, and G. Nelson. Wrestling with rep exposure. Research Report 156, Compaq Systems Research Center, July 1998.
29. O. Deux et al. The story of O2. In IEEE Transactions on Knowledge and Data Engineering (TKDE) 2(1), March 1990.
30. C. Flanagan and S. N. Freund. Type-based race detection for Java. In Programming Language Design and Implementation (PLDI), June 2000.
31. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Principles of Programming Languages (POPL), January 1998.
32. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
33. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
34. A. Greenhouse and J. Boyland. An object-oriented effects system. In European Conference for Object-Oriented Programming (ECOOP), June 1999.
35. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In Programming Language Design and Implementation (PLDI), June 2001.
36. J. Hogg. Islands: Aliasing protection in object-oriented languages. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1991.
37. J. Hogg, D. Lea, A. Wills, and D. de Champeaux. The Geneva convention on the treatment of object aliasing. In OOPS Messenger 3(2), April 1992.
38. JavaSoft. Inner class specification, February 1997. Available at http://java.sun.com/products/JDK/1.1
39. N. Klarlund and M. I. Schwartzbach. Graph types. In Principles of Programming Languages (POPL), January 1993.
40. V. Kuncack, P. Lam, and M. Rinard. Role analysis. In Principles of Programming Languages (POPL), January 2002.
41. B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, and G. J. Popek. Report on the programming language Euclid. In Sigplan Notices, 12(2), February 1977.
42. K. R. M. Leino, Data groups: Specifying the modification of extended state. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1998.
43. K. R. M. Leino and G. Nelson. Data abstraction and information hiding. Research Report 160, Compaq Systems Research Center, November 2000.
44. K. R. M. Leino, A. Poetszch-Heffter, and Y. Zhou. Using data groups to specify and check side effects. In Programming Language Design and Implementation (PLDI), June 2002.
45. B. S. Lerner and A. N. Habermann. Beyond schema evolution to database reorganization. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1990.
46. B. Liskov, M. Castro, L. Shrira, and A. Adya. Providing persistent objects in distributed systems. In European Conference for Object-Oriented Programming (ECOOP), June 1999.
47. B. Liskov, C. Moh, S. Richman, L. Shrira, Y. Cheung, and C. Boyapati. Safe lazy software upgrades in object-oriented databases. Technical Report TR-851, MIT Laboratory for Computer Science, June 2002.
48. B. Liskov, A. Snyder, R. R. Atkinson, and C. Schaffert. Abstraction mechanisms in CLU. In Communications of the ACM (CACM) 20(8), August 1977.
49. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. In Principles of Programming Languages (POPL), January 1988.
50. O. L. Madsen, B. Moller-Pedersen, and K. Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.
51. N. Minsky. Towards alias-free pointers. In European Conference for Object-Oriented Programming (ECOOP), July 1996.
52. A. Moeller and M. I. Schwartzbach. The pointer assertion logic engine. In Programming Language Design and Implementation (PLDI), June 2001.
53. P. Mueller and A. Poetzsch-Heffter. Universes: A type system for controlling representation exposure. In A. Poetzsch-Heffter and J. Meyer, editors, Programming Languages and Fundamentals of Programming. 1999.
54. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
55. J. Noble. Iterators and encapsulation. In Technology of Object-Oriented Languages and Systems (TOOLS), June 2000.
56. Object Design Inc. ObjectStore Advanced C++ API User Guide Release 5.1, 1997.
57. D. J. Penney and J. Stein. Class modification in the GemStone object-oriented DBMS. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1987.
58. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. Transactions on Programming Languages and Systems (TOPLAS) 20(1), January 1998.
59. A. Salcianu, C. Boyapati, W. Beebee, Jr., and M. Rinard. A type system for safe region-based memory management in Real-Time Java. Technical Report TR-869, MIT Laboratory for Computer Science, November 2002.
60. M. Tofte and J. Talpin. Region-based memory management. In Information and Computation 132(2), February 1997.
61. M. Viroli and A. Natali. Parametric polymorphism in Java: An approach to translation based on reflective features. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.
62. P. Wadler. Linear types can change the world. In M. Broy and C. Jones, editors, Programming Concepts and Methods. 1990.
63. A. K. Wright and M. Felleisen. A syntactic approach to type soundness. In Information and Computation 115(1), November 1994.