This work presents an object-oriented calculus based on higher-order mixin construction via main composition, where some software engineering requirements are modelled 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. © Springer-Verlag 2004.
CITATION STYLE
Bettini, L., Bono, V., & Likavec, S. (2004). A core calculus of higher-order mixins and classes. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3085, 83–98. https://doi.org/10.1007/978-3-540-24849-1_6
Mendeley helps you to discover research relevant for your work.