A core calculus of higher-order mixins and classes

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.

REFERENCES

• 1: Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam - A Smooth Extension of Java with Mixins, Proceedings of the 14th European Conference on Object-Oriented Programming, p.154-178, June 12-16, 2000
• 2: Lorenzo Bettini , Viviana Bono , Betti Venneri, Coordinating Mobile Object-Oriented Code, Proceedings of the 5th International Conference on Coordination Models and Languages, p.56-71, April 08-11, 2002
• 3: Viviana Bono , Amit Patel , Vitaly Shmatikov, A Core Calculus of Classes and Mixins, Proceedings of the 13th European Conference on Object-Oriented Programming, p.43-66, June 14-18, 1999
• 4: Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
• 5: Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268961]
• 6: Andrew K. Wright , Matthias Felleisen, A syntactic approach to type soundness, Information and Computation, v.115 n.1, p.38-94, Nov. 15, 1994 [doi>10.1006/inco.1994.1093]