A Core Calculus of Higher-Order Mixins and Classes
Abstract
We present an object-oriented calculus based on \emph{higher-order} mixin construction via \emph{mixin composition}, where some software engineering requirements are modelled in a formal setting, allowing to prove the absence of \emph{message-not-understood} run-time errors.
@InProceedings\{bettini.bono.likavec:core-calculus-ho-mixins-classes,
author = \{L. Bettini and V. Bono and S. Likavec},
title = \{A Core Calculus of Higher-Order Mixins and Classes},
booktitle = \{Proceedings SAC, Special Track on Programming Languages, Poster Paper},
year = \{2004},
publisher = \{ACM},
url = \{http://mikado.di.fc.ul.pt/repository/bettini.bono.likavec_core-calculus-ho-mixins-classes.pdf}
}
About this site. Last modified: Wed Mar 4 17:47:19 CET 2020