We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: th... more We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: they can be used in any context where a conventional Java type can appear. The most interesting consequence of this generalization is the fact that the language includes hygienic mixins, class extensions that have been abstracted with respect to their superclass. These abstractions are hygienic in that they avoid \accidental method overriding" when a mixin is applied to a specic superclass. MixGen is based on the NextGen formulation of Generic Java in which generic classes carry run-time parametric type information. In this paper, present an operational semantics for a core subset of MixGen, we prove type soundness for this core, and we describe how MixGen can be implemented on top of the existing Java Virtual Machine (version 1.4). In doing so, we provide the rst practical formulation of mixins to support precise parametric type checking.
We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: th... more We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: they can be used in any context where a conventional Java type can appear. The most interesting consequence of this generalization is the fact that the language includes hygienic mixins, class extensions that have been abstracted with respect to their superclass. These abstractions are hygienic in that they avoid \accidental method overriding" when a mixin is applied to a specic superclass. MixGen is based on the NextGen formulation of Generic Java in which generic classes carry run-time parametric type information. In this paper, present an operational semantics for a core subset of MixGen, we prove type soundness for this core, and we describe how MixGen can be implemented on top of the existing Java Virtual Machine (version 1.4). In doing so, we provide the rst practical formulation of mixins to support precise parametric type checking.
Page 1. E-Voting The democratic process rests on a fair, universally accessible voting system thr... more Page 1. E-Voting The democratic process rests on a fair, universally accessible voting system through which all citi-zens can easily and accurately cast a vote. With the 2000 US presidential election, however, the country got ...
We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: th... more We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: they can be used in any context where a conventional Java type can appear. The most interesting consequence of this generalization is the fact that the language includes hygienic mixins, class extensions that have been abstracted with respect to their superclass. These abstractions are hygienic in that they avoid \accidental method overriding" when a mixin is applied to a specic superclass. MixGen is based on the NextGen formulation of Generic Java in which generic classes carry run-time parametric type information. In this paper, present an operational semantics for a core subset of MixGen, we prove type soundness for this core, and we describe how MixGen can be implemented on top of the existing Java Virtual Machine (version 1.4). In doing so, we provide the rst practical formulation of mixins to support precise parametric type checking.
We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: th... more We describe MixGen, a generalization of Generic Java in which all generic types are rst-class: they can be used in any context where a conventional Java type can appear. The most interesting consequence of this generalization is the fact that the language includes hygienic mixins, class extensions that have been abstracted with respect to their superclass. These abstractions are hygienic in that they avoid \accidental method overriding" when a mixin is applied to a specic superclass. MixGen is based on the NextGen formulation of Generic Java in which generic classes carry run-time parametric type information. In this paper, present an operational semantics for a core subset of MixGen, we prove type soundness for this core, and we describe how MixGen can be implemented on top of the existing Java Virtual Machine (version 1.4). In doing so, we provide the rst practical formulation of mixins to support precise parametric type checking.
Page 1. E-Voting The democratic process rests on a fair, universally accessible voting system thr... more Page 1. E-Voting The democratic process rests on a fair, universally accessible voting system through which all citi-zens can easily and accurately cast a vote. With the 2000 US presidential election, however, the country got ...
Uploads