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: Fri Mar 29 11:45:19 CET 2024