A Core Calculus of Higher-Order Mixins and Classes
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},
url = \{http://mikado.di.fc.ul.pt/repository/bettini.bono.likavec_core-calculus-hightorder-mixins-classes.pdf}
}
About this site. Last modified: Wed Mar 4 17:47:28 CET 2020