Mobile Calculi based on Domains


A Core Calculus of Higher-Order Mixins and Classes

L. Bettini and V. Bono and S. Likavec

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