Object-oriented encapsulation for dynamically typed languages

ACM SIGPLAN Notices

Volumn 39, Issue 10, 2004, Pages 130-149

  Schärli, Nathanael ^a   Black, Andrew P ^b   Ducasse, Stéphane ^a  

^a UNIVERSITY OF BERN   (Switzerland)

^b OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

Dynamic typing; Encapsulation; Encapsulation Policies; Information hiding; Smalltalk

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); ENCAPSULATION; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS;

DYNAMIC TYPING; ENCAPSULATION POLICIES; INFORMATION HIDING; SMALLTALK;

OBJECT ORIENTED PROGRAMMING;

EID: 17044390380     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1035292.1028988     Document Type: Conference Paper

References (30)

1. O. Agesen, L. Bak, C. Chambers, B.-W. Chan, U. Hölzle, J. Maloney, R. B. Smith, D. Ungar, and M. Wolczko. The SELF 4.0 Programmer's Reference Manual. Sun Microsystems, 1995.
2. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Proceedings OOPSLA 2002, pages 311-330. ACM Press, Nov. 2002.
3. P. S. Almeida. Balloon types: Controlling sharing of state in data types. In Proceedings ECOOP '97, pages 32-59. Springer Verlag, June 1997.
4. K. Arnold and J. Gosling. The Java Programming Language. Addison Wesley, 1996.
5. M. Barnett and D. A. Naumann. Friends need a bit more: Maintaining invariants over shared state. In Proceedings MPC 2004, July 2004. To appear.
6. K. Beck. Extreme Programming Explained: Embrace Change. Addison Wesley, 2000.
7. E. Blake and S. Cook. On including part hierarchies in object-oriented languages, with an implementation in Smalltalk. In Proceedings ECOOP '87, pages 41-50. Springer-Verlag, June 1987.
8. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In Proceedings POPL'03, pages 213-223. ACM Press, 2003.
9. J. Boyland, J. Noble, and W. Retert. Capabilities for aliasing: A generalisation of uniqueness and read-only. In Proceesings ECOOP 2001, pages 2-27. Springer Verlag, June 2001.
10. G. Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, Dept. of Computer Science, University of Utah, Mar. 1992.
11. K. B. Bruce, L. Cardelli, G. Castagna, T. H. O. Group, G. T. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):221-242, 1995.
12. C. Chambers, D. Ungar, B.-W. Chang, and U. Hölzle. Parents are snared parts of objects: Inheritance and encapsulation in self. Lisp and Symbolic Computation, 4(3):207-222, July 1991.
13. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings OOPSLA '98, pages 48-64. ACM Press, 1998.
14. The E Language, http://www.erights.org/.
15. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, Mass., 1995.
16. A. Gdldberg and D. Robson. Smalltalk 80: the Language and its Implementation. Addison Wesley, Reading, Mass., May 1983.
17. J. Hogg. Islands: Aliasing protection in object-oriented languages. In Proceedings OOPSLA '91, volume. 26, pages 271-285. ACM Press, Nov. 1991.
18. J. Hogg, D. Lea, A. Wills, D. deChampeaux, and R. Holt. The Geneva convention on the treatment of object aliasing. SIGPLAN OOPS Mess., 3(2):11-16, 1992.
19. D. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay. Back to the future: The story of Squeak, A practical Smalltalk written in itself. In Proceedings OOPSLA '97, pages 318-326. ACM Press, Nov. 1997.
20. G. Kniesel and D. Theisen. JAC - access right based encapsulation for Java. Software - Practice and Experience, 31(6):555-576, May 2001.
21. P. Müller and A. Poetzsch-Heffter. Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversität Hagen, 2001.
22. O. Nierstrasz. A survey of object-oriented concepts. In W. Kim and F. Lochovsky, editors, Object-Oriented Concepts, Databases and Applications, pages 3-21. ACM Press and Addison Wesley, Reading, Mass., 1989.
23. J. Noble. Iterators and encapsulation. In Proceedings of TOOLS '00, page 431ff, June 2000.
24. J. Noble, D. Clarke, and J. Potter. Object ownership for dynamic alias protection. In Proceedings TOOLS '99, Nov. 1999.
25. J. Noble, J. Potter, and J. Vitek. Flexible alias protection. In E. Jul, editor, Proceedings ECOOP '98, Brussels, Belgium, July 1998. Springer Verlag.
26. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In Proceedings ECOOP 2003, pages 248-274. Springer Verlag, July 2003.
27. N. Schärli, S. Ducasse, O. Nierstrasz, and R. Wuyts. Composable encapsulation policies. In Proceedings ECOOP 2004. Springer Verlag, June 2004. To appear.
28. A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proceedings OOPSLA '86, pages 38-45. ACM Press, Nov. 1986.
29. P. Steyaert, C. Lucas, K. Mens, and T. D'Hondt. Reuse contracts: Managing the evolution of reusable assets. In Proceedings OOPSLA '96, pages 268-285. ACM Press, 1996.
30. M. Wolczko. Encapsulation, delegation and inheritance in object-oriented languages. IEEE Software Engineering Journal, 7(2):95-102, Mar. 1992.