Paper Info
Title
McJava - A Design and Implementation of Java with Mixin-Types
Abstract
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.
Year
DOI
Venue
2004
10.1007/978-3-540-30477-7_27
Lecture Notes in Computer Science
Keywords
Field
DocType
object oriented language,programming language
Scala,Programming language,Mixin,Computer science,Java annotation,Java concurrency,Real time Java,Theoretical computer science,Generics in Java,strictfp,Java Modeling Language,Distributed computing
Conference
Volume
ISSN
Citations 
3302
0302-9743
16
PageRank 
References 
Authors
0.76
17
2
Name
Order
Citations
PageRank
Tetsuo Kamina117015.50
Tetsuo Tamai233433.27