We present 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.
A core calculus of higher-order mixins and classes (extended abstract) / Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia. - STAMPA. - 2:(2004), pp. 1508-1509. (Intervento presentato al convegno Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing tenutosi a Nicosia, cyp nel 2004).
A core calculus of higher-order mixins and classes (extended abstract)
BETTINI, LORENZO;
2004
Abstract
We present 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.