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.
2004
Proceedings of the ACM Symposium on Applied Computing
Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing
Nicosia, cyp
2004
Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1086734
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact