A core calculus of higher-order mixins and classes

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.

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  Davide Ancona,et al.  True Modules for Java-like Languages , 2001, ECOOP.

[3]  Gilad Bracha,et al.  Mixins in Strongtalk , 2002 .

[4]  Vitaly Shmatikov,et al.  A Core Calculus of Classes and Objects , 1999, MFPS.

[5]  Davide Ancona,et al.  Jam---designing a Java extension with mixins , 2003, TOPL.

[6]  Patrick Steyaert,et al.  Generalised Mixin-based Inheritance to Support Multiple Inheritance , 2001 .

[7]  Vitaly Shmatikov,et al.  A Core Calculus of Classes and Mixins , 1999, ECOOP.

[8]  Kim B. Bruce Foundations of object-oriented languages - types and semantics , 2002 .

[9]  Viviana Bono,et al.  Coordinating Mobile Object-Oriented Code , 2002, COORDINATION.

[10]  William R. Cook,et al.  A denotational semantics of inheritance , 1989 .

[11]  Matthias Felleisen,et al.  A Syntactic Approach to Type Soundness , 1994, Inf. Comput..

[12]  William R. Cook,et al.  Mixin-based inheritance , 1990, OOPSLA/ECOOP '90.

[13]  Davide Ancona,et al.  An algebra of mixin modules , 1997, WADT.

[14]  Silvia Likavec,et al.  A core calculus of mixins and incomplete objects , 2004, OOPSLA '04.

[15]  Carolyn L. Talcott,et al.  Programming, Transforming, and Providing with Function Abstractions and Memories , 1989, ICALP.

[16]  Robert Hieb,et al.  The Revised Report on the Syntactic Theories of Sequential Control and State , 1992, Theor. Comput. Sci..

[17]  Davide Ancona,et al.  An Algebraic Approach to Mixins and Modularity , 1996, ALP.

[18]  Davide Ancona,et al.  Jam - A Smooth Extension of Java with Mixins , 2000, ECOOP.

[19]  Matthias Felleisen,et al.  A Programmer's Reduction Semantics for Classes and Mixins , 1999, Formal Syntax and Semantics of Java.

[20]  Viviana Bono,et al.  Type Systems for the Object Oriented Paradigm , 1999 .

[21]  Matthias Felleisen,et al.  Classes and mixins , 1998, POPL '98.

[22]  John C. Mitchell,et al.  Obstacl: a language with objects, subtyping, and classes , 2001 .

[23]  Davide Ancona,et al.  A theory of mixin modules: basic and derived operators , 1998, Mathematical Structures in Computer Science.

[24]  Davide Ancona,et al.  A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics , 2002, Math. Struct. Comput. Sci..

[25]  S. Likavec,et al.  A Core Calculus of Mixin-Based Incomplete Objects ( extended abstract ) ? , 2003 .

[26]  Gérard Boudol The Recursive Record Semantics of Objects Revisited , 2001, ESOP.

[27]  Matthias Felleisen,et al.  Parameter-passing and the lambda calculus , 1991, POPL '91.

[28]  Marc V An L I Mbe R Ghen Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems , 1996 .