Towards Unifying Inheritance and Automatic Program Specialization

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title Towards Unifying Inheritance and Automatic Program Specialization
 
Creator Schultz, Ulrik Pagh
 
Description Inheritance allows a class to be specialized and its attributes refined, but implementation specialization can only take place by overriding with manually implemented methods. Automatic program specialization can generate a specialized, efficient implementation. However, specialization of programs and specialization of classes (inheritance) are considered different abstractions. We present a new programming language, Lapis, that unifies inheritance and program specialization at the conceptual, syntactic, and semantic levels. This paper presents the initial development of Lapis, which uses inheritance with covariant specialization to control the automatic application of program specialization to class members. Lapis integrates object-oriented concepts, block structure, and techniques from automatic program specialization to provide both a language where object-oriented designs can be efficiently implemented and a simple yet powerful partial evaluator for an object-oriented language.
 
Publisher Aarhus University
 
Contributor
 
Date 2002-12-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7123
10.7146/dpb.v31i566.7123
 
Source DAIMI Report Series; No 566 (2002): PB-566 Towards Unifying Inheritance and Automatic Program Specialization
DAIMI Report Series; No 566 (2002): PB-566 Towards Unifying Inheritance and Automatic Program Specialization
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7123/6086
 

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

Twitter

Copyright © 2015-2018 Simon Fraser University Library