Dynamic ownership in a dynamic language

ABSTRACT

Object aliasing causes as many problems in dynamic languages as it does in static languages. Most existing work on aliasing, such as ownership types, relies on static checking based on annotations and type declarations. We introduce ConstraintedJava, a scripting language based on BeanShell that provides dynamic ownership checking. Dynamic ownership provides the encapsulation benefits of static ownership types but preserves the flexibility of dynamic languages.

REFERENCES

• 1: Paulo Sérgio Almeida. Balloon types: Controlling sharing of state in data types. In ECOOP Proceedings, pages 32--59, June 1997.
• 2: Ken Arnold , James Gosling , David Holmes, The Java Programming Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 3: Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira, Ownership types for object encapsulation, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.213-223, January 15-17, 2003, New Orleans, Louisiana, USA
• 4: John Boyland, Alias burying: unique variables without destructive reads, Software—Practice & Experience, v.31 n.6, p.533-553, May 2001 [doi>10.1002/spe.370]
• 5: Kim Bruce , Luca Cardelli , Giuseppe Castagna , Gary T. Leavens , Benjamin Pierce, On binary methods, Theory and Practice of Object Systems, v.1 n.3, p.221-242, Fall 1995
• 6: David Gerard Clarke, Object ownership and containment, University of New South Wales, New South Wales, Australia, 2003
• 7: David G. Clarke , John M. Potter , James Noble, Ownership types for flexible alias protection, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.48-64, October 18-22, 1998, Vancouver, British Columbia, Canada
• 8: Pavel Curtis. LambdaMOO Programmer's Manual, March 1997.
• 9: W. Dietl and P. Müller. Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8):5--32, October 2005.
• 10: ECMA. ECMA-334: C# Language Specification. ECMA (European Association for Standardizing Information and Communication Systems), Geneva, Switzerland, second edition, December 2002.
• 11: Erich Gamma, Richard Helm, Ralph E. Johnson, and John Vlissides. Design Patterns. Addison-Wesley, 1995.
• 12: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 13: Donald Gordon. Encapsulation enforcement with dynamic ownership. Master's thesis, Victoria University of Wellington, 2007.
• 14: John Hogg, Islands: aliasing protection in object-oriented languages, Conference proceedings on Object-oriented programming systems, languages, and applications, p.271-285, October 06-11, 1991, Phoenix, Arizona, United States
• 15: International Organization for Standardization. ISO/IEC 14882:2003: Programming languages -- C++. International Organization for Standardization, Geneva, Switzerland, 2003.
• 16: P. D. Lebling , M. S. Blank , T. A. Anderson, Special Feature Zork: A Computerized Fantasy Simulation Game, Computer, v.12 n.4, p.51-59, April 1979 [doi>10.1109/MC.1979.1658697]
• 17: K. Lieberherr , I. Holland , A. Riel, Object-oriented programming: an objective sense of style, Conference proceedings on Object-oriented programming systems, languages and applications, p.323-334, September 25-30, 1988, San Diego, California, United States
• 18: Colin McCormick. Colin's way easy intro guide to moo programming, March 1996.
• 19: Peter Müller , Arsenii Rudich, Ownership transfer in universe types, Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, October 21-25, 2007, Montreal, Quebec, Canada
• 20: Peter Müller and Arnd Poetzsch-Heffter. Universes: A type system for controlling representation exposure. Programming languages and fundamentals of programming, Fernuniversität Hagen, 1999.
• 21: Brad A. Myers, Rich McDaniel, Rob Miller, Brad Vander Zanden, Dario Giuse, David Kosbie, and Andrew Mickish. The Prototype-Instance Object Systems in Amulet and Garnet. In James Noble, Antero Taivalsaari, and Ivan Moore, editors, Prototype-Based Programming, pages 141--176. Springer-Verlag, 1999.
• 22: Pat Niemeyer. BeanShell. http://www.beanshell.org/.
• 23: James Noble , David Clarke , John Potter, Object Ownership for Dynamic Alias Protection, Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages, p.176, November 22-25, 1999
• 24: James Noble , Jan Vitek , John Potter, Flexible Alias Protection, Proceedings of the 12th European Conference on Object-Oriented Programming, p.158-185, July 20-24, 1998
• 25: L. Polansky, D. Rosenboom, and P Burk. HMSL: Overview (version 3.1) and notes on intelligent instrument design. In International Computer Music Conference, 1987.
• 26: Alex Potanin , James Noble , Dave Clarke , Robert Biddle, Generic ownership for generic Java, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
• 27: Nathanael Schärli , Andrew P. Black , Stéphane Ducasse, Object-oriented encapsulation for dynamically typed languages, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada
• 28: Walter R. Smith, Using a prototype-based language for user interface: the Newton project's experience, Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, p.61-72, October 15-19, 1995, Austin, Texas, United States
• 29: David Thomas and Andy Hunt. Programming Ruby. Addison Wesley, 2nd edition, 2005.
• 30: Tim Thompson. Keynote -- a language and extensible graphics editor for music. Computing Systems, 3(2):331--357, 1990.
• 31: David Ungar , Randall B. Smith, Self: The power of simplicity, Conference proceedings on Object-oriented programming systems, languages and applications, p.227-242, October 04-08, 1987, Orlando, Florida, United States

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Languages

Keywords:
dynamic languages, ownership