Difference-Based Modules: A Class-Independent Module Mechanism | SpringerLink
Skip to main content
Springer Nature Link
Log in

Difference-Based Modules: A Class-Independent Module Mechanism

  • Conference paper
  • First Online:
ECOOP 2002 — Object-Oriented Programming (ECOOP 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2374))

Included in the following conference series:

Abstract

We describe a module mechanism, which we call difference-based modules, and an object-oriented language we call MixJuice. MixJuice is an enhancement to the Java language that adopts difference-based modules instead of Java’s original module mechanism. Modules are units of information hiding, reuse and separate compilation. We have completely separated the class mechanism and the module mechanism, and then unified the module mechanism and the differential programming mechanism. Although this module mechanism is simpler than that of Java, it enhances ease with which programs can be extended, reused and maintained. Collaborations that crosscut several classes can be separated into different modules. Modules are composable in the same way as mixins. The composition of modules sometimes causes name collision and an interesting phenomenon, which we call implementation defects. We describe solutions to these problems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Modula-3 home page. http://research.compaq.com/SRC/modula-3/html/.

  2. Hirotake Abe, Yuuji Ichisugi, and Kazuhiko Kato. An implementation scheme of mobile threads with a source code translation technique in Java. In IPSJ:PRO, volume 41, pages 29–40. IPSJ, March 2000. in Japanese.

    Google Scholar 

  3. Gilad Bracha and William Cook. Mixin-based inheritance. In Proc. of the OOPSLA/ECOOP’ 90, pages 303–311, October 1990. Published as ACM SIG-PLAN Notices, volume 25, number 10.

    Article  Google Scholar 

  4. Craig Chambers and Gary T. Leavens. Typechecking and modules for multimethods. ACM Transactions on Programming Languages and Systems, 17(6):805–843, November 1995.

    Google Scholar 

  5. Curtis Clifton, Gary T. Leavens, Craig Chambers, and Todd Millstein. Multi-Java: modular open classes and symmetric multiple dispatch for Java. In Proc. of the OOPSLA2000, pages 130–145, October 2000. Published as ACM SIGPLAN Notices, volume 35, number 10.

    Article  Google Scholar 

  6. Erik Ernst. Family polymorphism. In Proc. of the ECOOP’2001, LNCS 2072, 2001.

    Google Scholar 

  7. Martin Fowler, Kent Beck, John Brant, William Opdyke, and Don Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.

    Google Scholar 

  8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Welsley, 1995.

    Google Scholar 

  9. A. Goldberg and D. Robson. Smalltalk-80: The language and its implementation. Addison-Wesley, 1983.

    Google Scholar 

  10. James Gosling, Bill Joy, Guy L. Steele, and Gilad Bracha. The Java language specification. Java series. Addison-Wesley, second edition, 2000.

    Google Scholar 

  11. R. Helm, I. Holland, and D. Gangopadhyay. Contracts: Specifying behavioral compositions in object oriented systems. In Proc. of the ECOOP/OOPSLA’90, Ottawa, pages 169–180, October 1990. Published as ACM SIGPLAN Notices, volume 25, number 10.

    Article  Google Scholar 

  12. Yuuji Ichisugi. EPP home page. http://staff.aist.go.jp/y-ichisugi/epp/.

  13. Yuuji Ichisugi. MixJuice home page. http://staff.aist.go.jp/y-ichisugi/mj/.

  14. Yuuji Ichisugi and Yves Roudier. The extensible Java preprocessor kit and a tiny data-parallel Java. In ISCOPE’97, California, LNCS 1343, pages 153–160, December 1997.

    Google Scholar 

  15. R. Keller and U. Höelzle. Binary component adaptation. In Proc. of the ECOOP’98, LNCS 1445, pages 307–329, 1998.

    Google Scholar 

  16. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of Aspect J. In Proc. of the ECOOP2001, 2001.

    Google Scholar 

  17. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. of the ECOOP’97, LNCS 1241, pages 220–242, 1997. Invited Talk.

    Google Scholar 

  18. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Proc. of the POPL’95, pages 333–343, January 1995.

    Google Scholar 

  19. Karl J. Lieberherr and Doug Orleans. Preventive program maintenance in Demeter/Java (research demonstration). In International Conference on Software Engineering, pages 604–605, 1997.

    Google Scholar 

  20. M. Löfgren, J. Lindskov Knudsen, B. Magnusson, and O. Lehrmann Madsen. Object-Oriented Environments-The Mjølner Approach. Prentice Hall, 1994.

    Google Scholar 

  21. Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual classes-a powerful mechanism in object-oriented programming. In Proc. of the OOPSLA’ 89, October 1989. Published as ACM SIGPLAN Notices, volume 24, number 10.

    Google Scholar 

  22. M. Mezini and K. Lieberherr. Adaptive plug-and-play components for evolutionary software development. In Proc. of the OOPSLA’98, pages 97–116, October 1998.

    Google Scholar 

  23. Mira Mezini, Linda Seiter, and Karl Lieberherr. Component integration with pluggable composite adapters. In Mehmet Aksit, editor, Software Architectures and Component Technology: The State of the Art in Research and Practice. Kluwer Academic Publishers, 2000. University of Twente, The Netherlands.

    Google Scholar 

  24. Todd Millstein and Craig Chambers. Modular statically typed multimethods. In Proc. of the ECOOP’99, LNCS 1628, pages 279–303, 1999.

    Google Scholar 

  25. Doug Orleans and Karl Lieberherr. DJ: Dynamic adaptive programming in Java. In Reflection 2001: Meta-level Architectures and Separation of Crosscutting Concerns, LNCS 2192, pages 73–80, Kyoto, Japan, September 2001.

    Chapter  Google Scholar 

  26. H. Ossher and P. Tarr. Multi-dimensional separation of concerns and the hyperspace approach. In Proc. of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development, Kluwer, 2000.

    Google Scholar 

  27. Yannis Smaragdakis and Don Batory. Implementing layered designs with mixin layers. In Proc. of the ECOOP’98, LNCS 1445, pages 550–570, 1998.

    Google Scholar 

  28. G.L. Steele. Common Lisp the Language, 2nd edition. Digital Press, 1990.

    Google Scholar 

  29. Bjarne Stroustrup. The C++ programming language. Addison-Wesley, third edition, 1997.

    Google Scholar 

  30. C.A. Szyperski. Import is not inheritance-why we need both: Modules and classes. In Proc. of the ECOOP’92, LNCS 615, 1992.

    Google Scholar 

  31. Michael VanHilst and David Notkin. Using role components to implement collaboration-based designs. In Proc. of the OOPSLA’96, October 1996. Published as ACM SIGPLAN Notices, volume 31, number 10.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. PRESTO, Japan Science and Technology Corporation(JST) / National Institute of Advanced Industrial Science and Technology(AIST), Japan

    Yuuji Ichisugi

  2. National Institute of Advanced Industrial Science and Technology (AIST), Japan

    Akira Tanaka

Authors
  1. Yuuji Ichisugi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Akira Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Lund, Box 118, 211 00, Lund, Sweden

    Boris Magnusson

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ichisugi, Y., Tanaka, A. (2002). Difference-Based Modules: A Class-Independent Module Mechanism. In: Magnusson, B. (eds) ECOOP 2002 — Object-Oriented Programming. ECOOP 2002. Lecture Notes in Computer Science, vol 2374. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47993-7_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-47993-7_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43759-8

  • Online ISBN: 978-3-540-47993-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation