L. Bettini, V. Bono, and S. Likavec
A core calculus of higher-order mixins
and classes [poster abstract]
In ACM Symposium on Applied Computing SAC 2004 ACM Press, 2004
In PL track. Accepted as a 2-page Poster Abstract. Extended abstract
of [62]
This work presents an object-oriented calculus based on
higher-order mixin construction via mixin composition,
where some software engineering requirements are modeled in a formal
setting allowing to prove the absence of
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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43