McJava swMATH ID: 1819 Software Authors: Kamina, Tetsuo; Tamai, Tetsuo Description: McJava – a design and implementation of Java with mixin-types A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the methodological and theoretical point of views, relatively few attempts have been made on designing real programming languages that support mixins. In this paper, we address the issue of how to introduce a feature of declaring a mixin that may also be used as a type to nominally typed object-oriented languages like Java. We propose a programming language McJava, an extension of Java with mixin-types. To study type-soundness of McJava, we have formulated the core of McJava with typing and reduction rules, and proved its type-soundness. We also describe a compilation strategy of McJava that translates McJava programs to Java programs thus eventually making it runnable on standard Java virtual machines Homepage: http://rd.springer.com/chapter/10.1007%2F978-3-540-30477-7_27 Related Software: Cited in: 1 Publication Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year McJava – a design and implementation of Java with mixin-types. Zbl 1116.68374Kamina, Tetsuo; Tamai, Tetsuo 2004 Cited by 2 Authors 1 Kamina, Tetsuo 1 Tamai, Tetsuo Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year