|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| dLC14 (Unpublished) | |
| Author(s) | Ugo de' Liguoro and Tzu-Chun Chen |
| Title | « Semantic Types for Classes and Mixins » |
| Abstract | |
| We consider a formalization of mixin composition and class linearization yielding a class in mixin-based inheritance. We provide an interpretation of the mixin calculus into a -calculus extended with records and a record merge operator. After extending the BCD intersection type assignment to such calculus showing that types are preserved by subject expansion and reduction, we naturally interpret mixin terms as the sets of the types that can be deduced of their translations. It turns out that the class obtained from a composition of mixins and the composition itself have the same logical meaning. | |
Download the complete article:
| BibTeX code |
@unpublished{dLC14,
tag = {ITRS14},
localfile = {http://www.di.unito.it/~deligu/papers/UdLTC14.pdf},
abstract = {We consider a formalization of mixin composition and class
linearization yielding a class in mixin-based inheritance. We
provide an interpretation of the mixin calculus into a
$\lambda$-calculus extended with records and a record merge
operator. After extending the BCD intersection type assignment to
such calculus showing that types are preserved by subject
expansion and reduction, we naturally interpret mixin terms as the
sets of the types that can be deduced of their translations. It
turns out that the class obtained from a composition of mixins and
the composition itself have the same logical meaning.},
title = {{Semantic Types for Classes and Mixins}},
author = {Ugo de' Liguoro and Tzu-chun Chen},
year = {2014},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
