A Core Calculus of Higher-Order Mixins and Classes

L. Bettini and V. Bono and S. Likavec

Abstract

This work presents an object-oriented calculus based on \emph{higher-order} mixin construction via \emph{mixin composition}, where some software engineering requirements are modeled in a formal setting allowing to prove the absence of \emph{message-not-understood} run-time errors. Mixin composition is shown to be a valuable language feature enabling a cleaner object-oriented design and development. In what we believe being quite a general framework, we give directions for designing a programming language equipped with higher-order mixins, although our study is not based on any already existing object-oriented language.

@InProceedings\{bettini.bono.likavec:core-calculus-hightorder-mixins-classes,
author = \{L. Bettini and V. Bono and S. Likavec},
title = \{A Core Calculus of Higher-Order Mixins and Classes},
booktitle = \{Proceedings of TYPES 2003},
year = \{2004},
series = \{LNCS},
publisher = \{Springer},