Mobile Calculi based on Domains


A Core Calculus of Higher-Order Mixins and Classes

L. Bettini and V. Bono and S. Likavec

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 Sep 20 22:03:28 CEST 2017