Skip to main content
SpringerLink
Log in

MASPEGHI 2004 Mechanisms for Speialization, Generalization and Inheritance

  • Conference paper
Object-Oriented Technology. ECOOP 2004 Workshop Reader (ECOOP 2004)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3344))

Included in the following conference series:

Abstract

MASPEGHI 2004 is the third edition of the MASPEGHI workshop. This year the organizers of both the ECOOP 2002 Inheritance Workshop and MASPEGHI 2003 came together to enlarge the scope of the workshop and to address new challenges. We succeeded in gathering a diverse group of researchers and practitioners interested in mechanisms for managing specialization and generalization of programming language components. The workshop contained a series of presentations with discussions as well as group work, and the interplay between the more than 22 highly skilled and inspiring people from many different communities gave rise to fruitful discussions and the potential for continued collaboration.

The title of this report should be referenced as “Report from the ECOOP 2004 Workshop on Mechanisms for Specialization, Generalization and Inheritance (MASPEGHI 2004)”.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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. Arévalo, G., Astudillo, H., Black, A.P., Ernst, E., Huchard, M., Lahire, P., Sakkinen, M., Valtchev, P. (eds.): Proceedings of the 3rd International Workshop on Mechanisms for Specialization, Generalization and Inheritance (MASPEGHI 2004) at ECOOP 2004. University of Nice, Sophia Antipolis (2004)

    Google Scholar 

  2. Schrefl, M., Stumptner, M.: Behavior consistent specialization of object life cycles. ACM Transactions on Software Engineering and Methodology 11, 92–148 (2002)

    Article  Google Scholar 

  3. Conrad, M., French, T.: Exploring the synergies between the object-oriented paradigm and mathematics: a Java led approach (to appear). International Journal on Education Sciences and Technology (2004) (to appear)

    Google Scholar 

  4. Crescenzo, P., Lahire, P.: Using both specialisation and generalisation in a programming language: Why and how? In: [30], pp. 64–73.

    Google Scholar 

  5. Ungar, D., Smith, R.B.: Self: The power of simplicity. In: Proceedings of OOPSLA 1987, Orlando, FL, USA. ACM SIGPLAN Notices, vol. 22(12), pp. 227–242. ACM press, New York (1987)

    Chapter  Google Scholar 

  6. Agesen, O., Bak, L., Chambers, C., Chang, a.B.-W., Hölzle, U., Maloney, J., Smith, R.B., Ungar, D., Wolczko, M.: The Self 4.0 Programmer’s Reference Manual. Sun Microsystems, Inc., Mountain View (1995)

    Google Scholar 

  7. Ernst, E.: gbeta – A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Devise, Department of Computer Science, University of Aarhus, Aarhus, Denmark (1999)

    Google Scholar 

  8. Schaerli, N., Ducasse, S., Niestrasz, O., Black, A.P.: Traits: composable units of behaviour. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 248–274. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Ernst, E.: Higher-order hierarchies. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 303–329. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  10. Torgersen, M.: The expression problem revisited. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 123–143. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Bracha, G., Cook, W.: Mixin-based inheritance. In: Proceedings of OOPSLA/ECOOP 1990, Ottawa, Canada. ACM SIGPLAN Notices, vol. 25(10), pp. 303–311. ACM Press, New York (1990)

    Chapter  Google Scholar 

  12. Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Conference Record of POPL 1998: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 171–183 (1998)

    Google Scholar 

  13. Zólyomi, I., Porkoláb, Z., Kozsik, T.: An extension to the subtype relationship in C++. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol. 2830, pp. 209–227. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  14. Varney, L.R.: Interface-oriented programming. Technical Report TR-040016, UCLA, Department of computer science (2004)

    Google Scholar 

  15. Cook, S.: OOPSLA 1987 Panel P2: Varieties of inheritance. In: OOPSLA 1987 Addendum To The Proceedings, Orlando, FL, USA. ACM SIGPLAN Notices, vol. 23(5), pp. 35–40. ACM Press, New York (1987)

    Google Scholar 

  16. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  17. Cook, W.R.: Interfaces and specifications for the Smalltalk-80 collection classes. In: Proceedings of OOPSLA 1992, Vancouver, Canada. ACM SIGPLAN Notices, vol. 27(10), pp. 1–15. ACM Press, New York (1992)

    Chapter  Google Scholar 

  18. Architecture Board ORMSC1: Model Driven Architecture (MDA), document number ormsc/01-07-01. Object Management Group (2001), http://www.omg.org/docs/ormsc/01-07-01.pdf

  19. Opluštil, T.: Inheritance in SOFA components. Master thesis, Faculty of Informatics, Masaryk University, Brno, Czech Republic (2002)

    Google Scholar 

  20. Opluštil, T.: Inheritance in architecture description languages. In: Šafránková, J. (ed.) Proceedings of the Week of Doctoral Students conference (WDS 2003), Prague, Czech Republic, Charles University, pp. 118–123. Matfyz press (2003)

    Google Scholar 

  21. Bruneton, E., Coupaye, T., Stefani, J.B.: The Fractal component model. Specification. Draft, France Telecom R&D (2004), http://fractal.objectweb.org

  22. Ducournau, R.: Real World” as an argument for covariant specialization in programming and modeling. In: [30], pp. 3–12.

    Google Scholar 

  23. Costa Seco, J., Caires, L.: A basic model of typed components. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 108–128. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  24. Plášil, F., Višňovský, S.: Behavior protocols for software components. IEEE Transactions on Software Engineering 28 (2002)

    Google Scholar 

  25. OMG: Unified Modeling Language (UML) Superstructure - Final Adopted specification. Object Management Group, Version 2.0 (2003)

    Google Scholar 

  26. Bruneton, E.: Fractal ADL tutorial 1.2. France Telecom R&D (2004), http://fractal.objectweb.org

  27. Palsberg, J., Schwartzbach, M.I. (eds.): Proceedings of the Workshop Types, Inheritance and Assignments at ECOOP 1991, DAIMI PB-357. Computer Science Department. Aarhus University (1991)

    Google Scholar 

  28. Sakkinen, M. (ed.): Proceedings of the Workshop Multiple Inheritance and Multiple Subtyping at ECOOP 1992, Working Paper WP-23. Department of Computer Science and Information Systems. University of Jyväskylä, Utrecht, the Netherlands (1992)

    Google Scholar 

  29. Black, A.P., Ernst, E., Grogono, P., Sakkinen, M. (eds.): Proceedings of the Inheritance Workshop at ECOOP 2002, vol. 12. Publications of Information Technology Research Institute. University of Jyväskylä, Málaga, Spain (2002)

    Google Scholar 

  30. Bruel, J.M., Bellahséne, Z. (eds.): Advances in OOIS 2002. LNCS, vol. 2426. Springer, Heidelberg (2002)

    Google Scholar 

  31. Valtchev, P., Astudillo, H., Huchard, M. (eds.): Proceedings of the workshop Managing Specialization/Generalization Hierarchies at ASE 2003. DIRO, University of Montreal, Montreal, Quebec, Canada (2003)

    Google Scholar 

  32. Huchard, M., Godin, R., Napoli, A.: Proceedings of the workshop Objects and Classification: a Natural Convergence at ECOOP 2000. Loria, University of Nancy, Sophia-Antipolis, France (2000)

    Google Scholar 

  33. Huchard, M., Godin, R., Napoli, A.: Objects and classification. In: Malenfant, J., Moisan, S., Moreira, A. (eds.) ECOOP 2000 Workshops. LNCS, vol. 1964, pp. 123–137. Springer, Heidelberg (2000)

    Google Scholar 

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

    Google Scholar 

  35. Cook, W.R.: A Denotational Semantics of Inheritance. PhD thesis, Brown University (1989)

    Google Scholar 

  36. Kniesel, G.: Dynamic Object-Based Inheritance with Subtyping. PhD thesis, Computer Science Department III, University of Bonn (2000)

    Google Scholar 

  37. Taivalsaari, A.: A Critical View of Inheritance and Reusability in Object-Oriented Programming. PhD thesis, University of Jyväskylä (1993)

    Google Scholar 

  38. Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice Hall, New York (1997)

    MATH  Google Scholar 

  39. Tip, F., Sweeney, P.F.: Class hierarchy specialization. In: Proceedings of OOPSLA 1997, Atlanta, Georgia, USA. ACM SIGPLAN Notices, vol. 32(10), pp. 271–285. ACM Press, New York (1997)

    Chapter  Google Scholar 

  40. Ducournau, R., Habib, M., Huchard, M., Mugnier, M.-L.: Proposal for a monotonic multiple inheritance linearization. In: Proceedings of OOPSLA 1994, Portland, Oregon, USA. ACM SIGPLAN Notices, vol. 29(10), pp. 164–175. ACM Press, New York (1994)

    Chapter  Google Scholar 

  41. Godin, R., Mili, H.: Building and maintaining analysis-level class hierarchies using Galois lattices. In: Proceedings OOPSLA 1993, Washington, DC, USA. ACM SIGPLAN Notices, vol. 28(10), pp. 394–410. ACM Press, New York (1993)

    Chapter  Google Scholar 

  42. Hauck, F.J.: Inheritance modeled with explicit bindings: An approach to typed inheritance. ACM SIGPLAN Notices 28, 231–239 (1993)

    Article  Google Scholar 

  43. Agesen, O., Palsberg, J., Schwartzbach, M.I.: Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol. 707, pp. 247–267. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  44. Sakkinen, M.: A critique of the inheritance principles of C++. Computing Systems 5, 69–110 (1992)

    Google Scholar 

  45. Ducournau, R., Habib, M., Huchard, M., Mugnier, M.-L.: Monotonic conflict resolution mechanisms for inheritance. In: Proceedings of OOPSLA 1992, Vancouver, Canada. ACM SIGPLAN Notices, vol. 27(10), pp. 16–24. ACM Press, New York (1992)

    Chapter  Google Scholar 

  46. Szyperski, C.A.: Import is not inheritance - why we need both: Modules and classes. In: Madsen, O.L. (ed.) ECOOP 1992. LNCS, vol. 615, pp. 19–32. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  47. Bracha, G., Lindstrom, G.: Modularity meets inheritance. In: Proceedings of the IEEE Computer Society International Conference on Computer Languages, Washington, DC, pp. 282–290. IEEE Computer Society Press, Los Alamitos (1992)

    Chapter  Google Scholar 

  48. Cardelli, L.: Structural subtyping and the notion of power type. In: POPL 1988. Proceedings of the conference on Principles of programming languages, San Diego, CA, USA, pp. 70–79. ACM Press, New York (1988)

    Google Scholar 

  49. Cardelli, L., Wegner, P.: On understanding types, data abstraction and polymorphism. ACM Computing Surveys 17, 480–521 (1985)

    Article  Google Scholar 

  50. Cardelli, L.: A semantics of multiple inheritance. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol. 173, pp. 51–67. Springer, Heidelberg (1984)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’Informatique Signaux et Systèmes de Sophia Antipolis (I3S), Université de Nice Sophia antipolis, France

    Ph. Lahire & T. Opluštil

  2. Software Composition Group, Institut für Informatik und angewandte Mathematik, Bern, Switzerland

    G. Arévalo

  3. Departamento de Informática, Universidad Técnica Federico Santa María, Valparaíso, Chile

    H. Astudillo

  4. Dept. of Computer Science & Engineering, OGI School of Science & Engineering, Oregon Health & Science University (OGI/OHSU), Beaverton, USA

    A. P. Black

  5. Department of Computer Science, University of Aarhus, Denmark

    E. Ernst

  6. Laboratoire d’Informatique, de Robotique et Micro-électronique de Montpellier (LIRMM), CNRS and Université de Montpellier 2, France

    M. Huchard

  7. Department of Computer Science and Information Systems, University of Jyväskylä, Finland

    M. Sakkinen

  8. Dépt. d’Informatique et recherche opérationnelle (DIRO), Université de Montréal, Québec, Canada

    P. Valtchev

Authors
  1. Ph. Lahire
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Arévalo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Astudillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. P. Black
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. E. Ernst
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. M. Huchard
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. T. Opluštil
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. M. Sakkinen
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. P. Valtchev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire d’informatique de Paris 6, France

    Jacques Malenfant

  2. Norwegian Computing Center, University of Oslo and Norsk Regnesentral, Postboks 114, 0314, Blindern, Oslo, Norway

    Bjarte M. Østvold

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lahire, P. et al. (2005). MASPEGHI 2004 Mechanisms for Speialization, Generalization and Inheritance. In: Malenfant, J., Østvold, B.M. (eds) Object-Oriented Technology. ECOOP 2004 Workshop Reader. ECOOP 2004. Lecture Notes in Computer Science, vol 3344. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30554-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30554-5_11

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-30554-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation