This work presents an object-oriented calculus based on higher-order mixin construction via mixin 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.
A core calculus of higher-order mixins and classes / L. BETTINI; V. BONO; S. LIKAVEC. - STAMPA. - Vol. 3085:(2004), pp. 83-97. (Intervento presentato al convegno Types for Proofs and Programs, International Workshop, TYPES 2003 tenutosi a Torino, Italy nel May 4, 2003) [10.1007/978-3-540-24849-1_6].
A core calculus of higher-order mixins and classes
BETTINI, LORENZO;
2004
Abstract
This work presents an object-oriented calculus based on higher-order mixin construction via mixin 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.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
