Family Genericity

DAIMI Report Series

View Publication Info
Field Value
Title Family Genericity
Creator Ernst, Erik
Description Type abstraction in object-oriented languages embody two techniques, each with its own strenghts and weaknesses. The first technique is extension, yielding abstraction mechanisms with good support for gradual specification.The prime example is inheritance. The second technique is functional abstraction, yielding more precise knowledge about the outcome. The prime example is type parameterized classes. This paper argues that these techniques should beclearly separated to work optimally, and also that current languages fail to do this.We have applied this design philosophy to a language based on an extension mechanism, namely virtual classes. As a result, some elements based on functional abstraction have been introduced, but they are simple and only used for things where they excel; conversely, the virtual classes have become more flexible, because their role is now more well-defined.We designate the result as family genericity. The presented language design has been implemented.
Publisher Aarhus University
Date 2006-01-01
Type info:eu-repo/semantics/article
Peer-reviewed Article
Format application/pdf
Source DAIMI Report Series; No 578 (2006): PB-578 Family Genericity
DAIMI Report Series; No 578 (2006): PB-578 Family Genericity
Language eng

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us


Copyright © 2015-2018 Simon Fraser University Library