Modular object-oriented programming with units and mixins

ABSTRACT

Module and class systems have evolved to meet the demand for reuseable software components. Considerable effort has been invested in developing new module and class systems, and in demonstrating how each promotes code reuse. However, relatively little has been said about the interaction of these constructs, and how using modules and classes together can improve programs. In this paper, we demonstrate the synergy of a particular form of modules and classes---called units and mixins, respectively---for solving complex reuse problems in a natural manner.

REFERENCES

• 1: Davide Ancona , Elena Zucca, An Algebraic Approach to Mixins and Modularity, Proceedings of the 5th International Conference on Algebraic and Logic Programming, p.179-193, September 25-27, 1996
• 2: David H. Bartley , John C. Jensen, The implementation of PC Scheme, Proceedings of the 1986 ACM conference on LISP and functional programming, p.86-93, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319852]
• 3: Gilad Bracha, The programming language jigsaw: mixins, modularity and multiple inheritance, University of Utah, Salt Lake City, UT, 1992
• 4: Chambers, C. The Cecil Language Specification and Rationale: Version ~.0, 1995.
• 5: Craig Chambers , Gary T. Leavens, Typechecking and modules for multimethods, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.6, p.805-843, Nov. 1995 [doi>10.1145/218570.218571]
• 6: Clinger, W. and Rees, J. (Eds.). The revised4 report on the algorithmic language Scheme. ACM Lisp Pointers, 4(3), July 1991.
• 7: William R. Cook, Object-Oriented Programming Versus Abstract Data Types, Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages, p.151-178, May 28-June 01, 1990
• 8: Pavel Curtis , James Rauen, A module system for scheme, Proceedings of the 1990 ACM conference on LISP and functional programming, p.13-19, June 27-29, 1990, Nice, France [doi>10.1145/91556.91573]
• 9: Dalai, O.-J., B. Myrhaug and K. Nygaard. SIMULA 67. common base language. Technical Report Publ. No. S- 2, Norwegian Computing Center, Oslo, Norway, May 1968.
• 10: Feeley, M. Gambit-C, a portable Scheme implementation, 1996.
• 11: Matthias Felleisen , Daniel P. Friedman, A little Java, a few patterns, Massachusetts Institute of Technology, Cambridge, MA, 1998
• 12: Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.
• 13: Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.236-248, June 17-19, 1998, Montreal, Quebec, Canada
• 14: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268961]
• 15: 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
• 16: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 17: James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 18: Samuel P. Harbison, Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 19: Hudak, P. and Wadler, P. (Eds.). Report on the programming language Haskell. Technical Report YALE/DCS/RR777, Yale University, Department of Computer Science, August 1991.
• 20: International Organization for Standardization. Ada 95 Reference Manual. The Language. The Standard Libraries, Janurary 1995.
• 21: Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994 [doi>10.1145/177492.177578]
• 22: Kelsey, R. A. Fully-parameterized modules or the missing link. Technical Report 97-3, NEC Research Institute, 1997.
• 23: Shriram Krishnamurthi , Matthias Felleisen , Daniel P. Friedman, Synthesizing Object-Oriented and Functional Design to Promote Re-Use, Proceedings of the 12th European Conference on Object-Oriented Programming, p.91-113, July 20-24, 1998
• 24: T. Kühne, The Translator Pattern - External Functionality with Homomorphic Mappings, Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems, p.48, July 28-August 01, 1997
• 25: Lang, K. J. and B. A. Pearlmutter. Oaklisp: an objectoriented dialect of Scheme. Lisp and Symbolic Computation: An International journal, 1(1):39-51, May 1988.
• 26: Shinn-Der Lee , Daniel P. Friedman, Quasi-static scoping: sharing variable bindings across multiple lexical scopes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.479-492, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158706]
• 27: Shinn-Der Lee , Daniel P. Friedman, Enriching the lambda calculus with contexts: toward a theory of incremental program construction, Proceedings of the first ACM SIGPLAN international conference on Functional programming, p.239-250, May 24-26, 1996, Philadelphia, Pennsylvania, United States
• 28: Leroy, X. The Objective Carol system, 1996. URL: http://pauillac, inria, fr/ocaml/.
• 29: James S. Miller , Guillermo J. Rozas, Free variables and first-class environments, Lisp and Symbolic Computation, v.4 n.2, p.107-141, April 1991 [doi>10.1007/BF01813016]
• 30: Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
• 31: Mitchell, J. G., W. Mayberry and R. Sweet. Mesa Language Manual, 1979.
• 32: Palsberg, J. and C. B. Jay. The essence of the Visitor pattern. Technical Report 05, University of Technology, Sydney, 1997.
• 33: Queinnec, C. Distributed generic functions. In Proc. 1997 France-Japan Workshop on Object-Based Parallel and Distributed Computing, 1997.
• 34: Queinnec, C. Meroon V$: A Small, Efficient, and Enhanced Object System, 1997.
• 35: Christian Queinnec , David de Roure, Sharing code through first-class environments, Proceedings of the first ACM SIGPLAN international conference on Functional programming, p.251-261, May 24-26, 1996, Philadelphia, Pennsylvania, United States
• 36: Rees, J. Another module system for Scheme, 1994. Scheme48 documentation.
• 37: Norman Adams , Jonathan Rees, Object-oriented programming in scheme, Proceedings of the 1988 ACM conference on LISP and functional programming, p.277-288, July 25-27, 1988, Snowbird, Utah, United States [doi>10.1145/62678.62720]
• 38: Didier Rémy , Jérôme Vouillon, Objective ML: a simple object-oriented extension of ML, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.40-53, January 15-17, 1997, Paris, France [doi>10.1145/263699.263707]
• 39: John Reppy , Jon Riecke, Simple objects for Standard ML, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.171-180, May 21-24, 1996, Philadelphia, Pennsylvania, United States
• 40: Reynolds, J. C. User-defined types and procedural data structures as complementary approaches to data abstraction. In Schuman, S. A., editor, New Directions in Algorithmic Languages, pages 157-168. {FIP Working Group 2.1 on Algol, 1975.
• 41: Shalit, A. The Dylan Reference Manual. Addison- Wesley, 1996.
• 42: Guy L. Steele, Jr., Common LISP: the language (2nd ed.), Digital Press, Newton, MA, 1990
• 43: Clemens A. Szyperski, Import is Not Inheritance - Why We Need Both: Modules and Classes, Proceedings of the European Conference on Object-Oriented Programming, p.19-32, June 29-July 03, 1992
• 44: Sho-Huan Simon Tung, Interactive modular programming in Scheme, Proceedings of the 1992 ACM conference on LISP and functional programming, p.86-95, June 22-24, 1992, San Francisco, California, United States
• 45: Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces

General Terms:
Design, Performance, Theory