A core calculus of mixins and incomplete objects

ABSTRACT

Our calculus combines class-based features with object-based ones, with the aim of fitting into a unified setting the "best of both worlds". In a mixin-based approach, mixins are seen as <i>incomplete classes</i> from which <i>incomplete objects</i> can be instantiated. Incomplete objects can be completed in an object-based fashion.

REFERENCES

• 1: C. Anderson, F. Barbanera, M. Dezani-Ciancaglini, and S. Drossopoulou. Can Addresses be Types? (a case study: objects with delegation). In WOOD'03, ENTCS. Elsevier, 2003.
• 2: C. Anderson and S. Drossopoulou. Ε- an imperative object based calculus. Presented at the workshop USE, 2002.
• 3: Lorenzo Bettini , Viviana Bono , Silvia Likavec, A core calculus of higher-order mixins and classes, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus [doi>10.1145/967900.968200]
• 4: L. Bettini, V. Bono, and S. Likavec. A core calculus of mixin-based incomplete objects. In Proc FOOL 11, pages 29--41, 2004.
• 5: L. Bettini, V. Bono, and S. Likavec. Papers on incomplete objects. http://www.dsi.unifi.it/ bettini/incobj.html, 2004.
• 6: V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. A Subtyping for extensible, incomplete objects. Fundamenta Informaticae, 38(4):325--364, 1999.
• 7: V. Bono, F. Damiani, and P. Giannini. A calculus for "environment-aware" computation. In F-WAN'02, volume 66.3 of ENTCS. Elsevier, 2002.
• 8: Viviana Bono , Amit Patel , Vitaly Shmatikov, A Core Calculus of Classes and Mixins, Proceedings of the 13th European Conference on Object-Oriented Programming, p.43-66, June 14-18, 1999
• 9: Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
• 10: Kathleen Fisher , Furio Honsell , John C. Mitchell, A lambda calculus of objects and method specialization, Nordic Journal of Computing, v.1 n.1, p.3-37, Spring 1994
• 11: 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

INDEX TERMS

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

General Terms:
Languages, Theory

Keywords:
incomplete objects, language design, mixins, types