A core calculus of higher-order mixins and classes

Authors:
Lorenzo Bettini;Viviana Bono;Silvia Likavec
Affiliations:
Università di Firenze;Università di Torino;Università di Torino
Venue:
Proceedings of the 2004 ACM symposium on Applied computing
Year:
2004

Citing 4
Cited 3

Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A syntactic approach to type soundness

Information and Computation
Classes and mixins

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordinating Mobile Object-Oriented Code

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages

Editorial message: special track on the programming languages

Proceedings of the 2004 ACM symposium on Applied computing
A core calculus of mixins and incomplete objects

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
CZ: multiple inheritance without diamonds

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

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.