Environmental acquisition revisited

ABSTRACT

In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in many programs, objects are arranged in containment hierarchies and need to obtain information from their container objects. Therefore, if languages allowed programmers to specify such relationships directly, type systems and run-time environments could enforce the invariants that make these programming patterns work.In this paper, we present a formal version of environmental acquisition for class-based languages. Specifically, we introduce an extension of the ClassicJava model with constructs for environmental acquisition of fields and methods, a type system for the model, a reduction semantics, and a type soundness proof. We also discuss how to scale the model to a full-scale Java-like programming language.

REFERENCES

• 1: Dave Clarke , Sophia Drossopoulou, Ownership, encapsulation and the disjointness of type and effect, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 2: 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
• 3: Microsoft Corporation, Microsoft C# Language Specifications, Microsoft Press, Redmond, WA, 2001
• 4: Robert Bruce Findler , John Clements , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Paul Steckler , Matthias Felleisen, DrScheme: a programming environment for Scheme, Journal of Functional Programming, v.12 n.2, p.159-182, March 2002 [doi>10.1017/S0956796801004208]
• 5: Matthew Flatt. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997. http://www.plt-scheme.org/software/mzscheme/.
• 6: Matthew Flatt and Robert~Bruce Findler. PLT MrEd: Graphical toolbox manual. Technical Report TR97-279, Rice University, 1997. http://www.plt-scheme.org/software/mred/.
• 7: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, A Programmer's Reduction Semantics for Classes and Mixins, Formal Syntax and Semantics of Java, p.241-269, January 1999
• 8: Martin Fowler , Kendall Scott, UML distilled: applying the standard object modeling language, Addison-Wesley Longman Ltd., Essex, UK, 1997
• 9: Jim Fulton. Extension classes, Python extension types become classes. http://debian.acm.ndsu.nodak.edu/doc/python-extclassExtensionClass.html.
• 10: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 11: Joseph Gil , David H. Lorenz, Environmental acquisition: a new inheritance-like abstraction mechanism, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.214-231, October 06-10, 1996, San Jose, California, United States
• 12: Joseph (Yossi) Gil , David H. Lorenz, Design Patterns and Language Design, Computer, v.31 n.3, p.118-120, March 1998 [doi>10.1109/2.660196]
• 13: James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 14: Alan C. Kay, The early history of Smalltalk, The second ACM SIGPLAN conference on History of programming languages, p.69-95, April 20-23, 1993, Cambridge, Massachusetts, United States
• 15: Shriram Krishnamurthi , Yan-David Erlich , Matthias Felleisen, Expressing Structural Properties as Language Constructs, Proceedings of the 8th European Symposium on Programming Languages and Systems, p.258-272, March 22-28, 1999
• 16: Amos Latteier , Michael Pellatier , Michel Pelletier, The Zope Book, New Riders Publishing, Thousand Oaks, CA, 2001
• 17: Environmental Acquisition in Network Management, Proceedings of the 16th USENIX conference on System administration, November 03-08, 2002, Philadelphia, PA
• 18: Jacob Matthews, Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen. A visual environment for developing context-sensitive term rewriting systems. In International Conference on Rewriting Techniques and Applications, 2004.
• 19: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 20: Sun Microsystems. Java 2 standard edition SDK, v1.4.2. http://wwws.sun.com/software/communitysource/j2se/java2/download.html.
• 21: Sun Microsystems. Java foundation classes (JFC/Swing). http://java.sun.com/products/jfc/index.jsp.
• 22: Python. http://www.python.org/.
• 23: Andrew K. Wright , Matthias Felleisen, A syntactic approach to type soundness, Information and Computation, v.115 n.1, p.38-94, Nov. 15, 1994 [doi>10.1006/inco.1994.1093]

INDEX TERMS

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

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
          Subjects: Object-oriented programming

Keywords:
environmental acquisition, object composition, object containment, object-oriented languages