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: Thu May 2 00:07:55 CEST 2024