MIX(FL): a kernel language of mixin modules (1996)
| Venue: | AMAST 2000 - Algebraic Methodology And Software Technology, number 1816 in Lecture Notes in Computer Science |
| Citations: | 5 - 5 self |
BibTeX
@INPROCEEDINGS{Ancona96mix(fl):a,
author = {D. Ancona},
title = {MIX(FL): a kernel language of mixin modules},
booktitle = {AMAST 2000 - Algebraic Methodology And Software Technology, number 1816 in Lecture Notes in Computer Science},
year = {1996},
pages = {454--468},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We define a kernel language for the manipulation of mixin modules with the aim of providing foundations for the design of advanced module systems. Several working examples are presented showing the benefits of the use of mixins and overriding in module systems; moreover, a set of typing rules ensures that the language supports separate compilation. The denotational semantics of the language is based on an algebraic approach and is parametric in the semantics of the underlying core language. Hence, even though the language is defined on top of a specific core language, other kinds of core languages could be considered. Introduction In this paper we define a simple modular language supporting the notion of mixin module. The notion of mixin comes directly from object oriented programming (OOP). One of the aims of this paper is showing that this notion can be fruitfully applied to modular systems as well. According to the OO terminology, a mixin is an abstract subclass (a class where the...
