Article

Free access

Modular object-oriented programming with units and mixins

Authors:

Robert Bruce Findler and

Matthew FlattAuthors Info & Claims

ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming

September 1998

Pages 94 - 104

https://doi.org/10.1145/289423.289432

Published: 29 September 1998 Publication History

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]

Ancona, D. and E. Zucca. An algebraic approach to mixins and modularity. In Hanus, M. and M. Rodrlguez-Artalejo, editors, Proc. Conference on Algebraic and Logic Programming, Lecture Notes in Computer Science 1139, pages 179-193, Berlin, 1996. Springer Verlag.]]

[2]

Bartley, D. H. and J. C. Jensen. The implementation of PC Scheme. In Proc. A CM Conference on Lisp and Functional Programming, pages 86-93, 1986.]]

Digital Library

[3]

Bracha, G. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, Dept. of Computer Science, University of Utah, March 1992.]]

Digital Library

[4]

Chambers, C. The Cecil Language Specification and Rationale: Version ~.0, 1995.]]

[5]

Chambers, C. and G. T. Leavens. Typechecking and modules for multi-methods. A CM Transactions on Programming Languages and Systems, 17(6):805-843, November 1995.]]

Digital Library

[6]

Clinger, W. and Rees, J. (Eds.). The revised4 report on the algorithmic language Scheme. ACM Lisp Pointers, 4(3), July 1991.]]

Digital Library

[7]

Cook, W. R. Object-oriented programming versus abstract data types. In Foundations of Object-Oriented Languages, pages 151-178, June 1990.]]

Digital Library

[8]

Curtis, P. and J. Rauen. A module system for Scheme. in Proc. A CM Conference on Lisp and Functional Programming, pages 13-28, 1990.]]

Digital Library

[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]

Felleisen, M. and D. P. Friedman. A Little Java, A Few Patterns. The MIT Press, 1998.]]

Digital Library

[12]

Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997.]]

[13]

Flatt, M. and M. Felleisen. Units: Cool modules for HOT languages. In Proc. A CM Conference on Programming Language Design and Implementation, pages 236-248, 1998.]]

Digital Library

[14]

Flatt, M., S. Krishnamurthi and M. Felleisen. Classes and mixins. In Proc. A CM Symposium on Principles of Programming Languages, pages 171-183, 1998.]]

Digital Library

[15]

Gamma, E., R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Massachusetts, 1994.]]

Digital Library

[16]

Goldberg, A. and D. Robson. Smalltalk 80: The Language. Addison-Wesley, Reading, 1989.]]

Digital Library

[17]

Gosling, J., B. Joy and G. Steele. The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA, USA, June 1996.]]

Digital Library

[18]

Harbison, S. P. Modula-3. Prentice Hall, 1991.]]

Digital Library

[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]

Jagannathan, S. Metalevel building blocks for modular systems. A CM Transactions on Programming Languages and Systems, 16(3):456-492, May 1994.]]

Digital Library

[22]

Kelsey, R. A. Fully-parameterized modules or the missing link. Technical Report 97-3, NEC Research Institute, 1997.]]

[23]

KrishnaInurthi, S., M. Felleisen and D. Friedman. Synthesizing object-oriented and functional design to promote re-use. In Proc. European Conference on Object- Oriented Programming, 1998.]]

Digital Library

[24]

Kfihne, T. The translator pattern--external functionality with homomorphic mappings. In Proceedings of TOOLS 2o~, USA, pages 48-62, July 1997.]]

Digital Library

[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]

Lee, S.-D. and D. P. Friedman. Quasi-static scoping: Sharing variable bindings across multiple lexical scopes. In Proc. ACM Symposium on Principles of Programruing Languages, pages 479-492, 1993.]]

Digital Library

[27]

Lee, S.-D. and D. P. Friedman. Enriching the lambda calculus with context toward a theory of incremental program construction. In Proc. A CM International Conference on Functional Programming, pages 239- 250, 1996.]]

Digital Library

[28]

Leroy, X. The Objective Carol system, 1996. URL: http://pauillac, inria, fr/ocaml/.]]

[29]

Miller, J. and G. Rozas. Free variables and first-class environments. Lisp and Symbolic Computation: An International Journal, 3(4):107-141, 1991.]]

Digital Library

[30]

Milner, R., M. Torte and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachusetts and London, England, 1990.]]

Digital Library

[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]

Queinnec, C. and D. De Roure. Sharing code through first-class envinroments. In Proc. A CM International Conference on Functional Programming, pages 251- 261, 1996.]]

Digital Library

[36]

Rees, J. Another module system for Scheme, 1994. Scheme48 documentation.]]

[37]

Rees, J. and N. Adams. Object-oriented programming in Scheme. In Proc. A CM Conference on Lisp and Functional Programming, pages 277-288, 1988.]]

Digital Library

[38]

Rdmy, D. and J. Vouillon. Objective ML: A simple object-oriented extension of ML. In Proc. ACM Symposium on Principles of Programming Languages, pages 40-53, Pads, France, 15-17 Janurary 1997.]]

Digital Library

[39]

Reppy, J. and J. Riecke. Simple objects for Standard ML. In Proc. A CM Conference on Programming Language Design and Implementation, pages 171-180, 1906.]]

Digital Library

[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]

Steele Jr., G. L. Common Lisp: The Language. Digital Press, second edition, 1990.]]

Digital Library

[43]

Szyperski, C. A. Import is not inheritance - why we need both: Modules and classes. In European Conference on Object-Oriented Programming, volume 615 of Lecture Notes in Computer Science, pages 19-32. Springer-Verlag, New York, N.Y., 1992.]]

Digital Library

[44]

Tung, S.-H. Interactive modular programming in Scheme. in Proc. A CM Conference on Lisp and Functional Programming, pages 86-95, 1992.]]

Digital Library

[45]

Wirth, N. Programming in Modula-2. Springer-Verlag, 1983.]]

Digital Library

Cited By

Umatani SHong JPark J(2024)Lightweight DSL for Describing Extensible Transition SystemsProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3636025(1122-1131)Online publication date: 8-Apr-2024
https://dl.acm.org/doi/10.1145/3605098.3636025
Cazzola WFavalli L(2023)Scrambled Features for Breakfast: Concepts of Agile Language DevelopmentCommunications of the ACM10.1145/359621766:11(50-60)Online publication date: 20-Oct-2023
https://dl.acm.org/doi/10.1145/3596217
Alpuim JOliveira BShi Z(2017)Disjoint PolymorphismProgramming Languages and Systems10.1007/978-3-662-54434-1_1(1-28)Online publication date: 19-Mar-2017
https://doi.org/10.1007/978-3-662-54434-1_1
Show More Cited By

Index Terms

Modular object-oriented programming with units and mixins
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
        Software maintenance
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
    2. Software post-development issues
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages
      2. Language types
        Object oriented languages
    2. Software libraries and repositories

Recommendations

Modular object-oriented programming with units and mixins

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 ...
Read More
Merging interactive, modular, and object-oriented programming
Read More
What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming

September 1998

351 pages

ISBN:1581130244

DOI:10.1145/289423

Chairmen:
Matthias Felleisen
Rice Univ., Houston, TX
,
Paul Hudak
Yale Univ., New Haven, CT
,
Christian Queinnec
Univ. Paris 6; and INRIA

ACM SIGPLAN Notices Volume 34, Issue 1
Jan. 1999
357 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/291251
Chairmen:
Matthias Felleisen
Rice Univ.
,
Paul Hudak
Yale Univ.
,
Editor:
A. Michael Berman
Issue’s Table of Contents

Copyright © 1998 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 September 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICFP98

Sponsor:

SIGPLAN

ICFP98: 1998 International Conference on Functional Programming

September 26 - 29, 1998

Maryland, Baltimore, USA

Acceptance Rates

ICFP '98 Paper Acceptance Rate 30 of 77 submissions, 39%;

Overall Acceptance Rate 333 of 1,064 submissions, 31%

Upcoming Conference

ICFP '24

Sponsor:
sigplan

29th ACM SIGPLAN International Conference on Functional Programming

September 2 - 7, 2024

Milan , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

92
Total Citations
View Citations
971
Total Downloads

Downloads (Last 12 months)117
Downloads (Last 6 weeks)19

Other Metrics

View Author Metrics

Citations

Cited By

Umatani SHong JPark J(2024)Lightweight DSL for Describing Extensible Transition SystemsProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3636025(1122-1131)Online publication date: 8-Apr-2024
https://dl.acm.org/doi/10.1145/3605098.3636025
Cazzola WFavalli L(2023)Scrambled Features for Breakfast: Concepts of Agile Language DevelopmentCommunications of the ACM10.1145/359621766:11(50-60)Online publication date: 20-Oct-2023
https://dl.acm.org/doi/10.1145/3596217
Alpuim JOliveira BShi Z(2017)Disjoint PolymorphismProgramming Languages and Systems10.1007/978-3-662-54434-1_1(1-28)Online publication date: 19-Mar-2017
https://doi.org/10.1007/978-3-662-54434-1_1
Marchand de Kerchove FNoyé JSüdholt MFrance RGhosh SLeavens G(2015)Towards modular instrumentation of interpreters in JavaScriptCompanion Proceedings of the 14th International Conference on Modularity10.1145/2735386.2736753(64-69)Online publication date: 16-Mar-2015
https://dl.acm.org/doi/10.1145/2735386.2736753
Servetto MZucca E(2014)A meta-circular language for active librariesScience of Computer Programming10.1016/j.scico.2014.05.00395:P2(219-253)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1016/j.scico.2014.05.003
Findler RFelleisen M(2013)ICFP 2002ACM SIGPLAN Notices10.1145/2502508.250252148:4S(34-45)Online publication date: 9-Jul-2013
https://dl.acm.org/doi/10.1145/2502508.2502521
Kästner CApel S(2013)Feature-Oriented Software DevelopmentGenerative and Transformational Techniques in Software Engineering IV10.1007/978-3-642-35992-7_10(346-382)Online publication date: 2013
https://doi.org/10.1007/978-3-642-35992-7_10
Bergmans LHavinga WAksit M(2012)First-Class compositionsTransactions on Aspect-Oriented Software Development IX10.5555/2434958.2434967(216-267)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.5555/2434958.2434967
Saghafi SFisler KKrishnamurthi SHaupt MHirschfeld RTanter ÉSullivan KGabriel R(2012)Features and object capabilitiesProceedings of the 11th annual international conference on Aspect-oriented Software Development10.1145/2162049.2162053(25-34)Online publication date: 25-Mar-2012
https://dl.acm.org/doi/10.1145/2162049.2162053
Schaefer IRabiser RClarke DBettini LBenavides DBotterweck GPathak ATrujillo SVillela K(2012)Software diversityInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0253-y14:5(477-495)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/s10009-012-0253-y
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents