A Unification of Inheritance and Automatic Program Specialization

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

The object-oriented style of programming facilitates program adaptation and enhances program genericness, but at the expense of efficiency. Automatic program specialization can be used to generate specialized, efficient implementations for specific scenarios, but requires the program to be structured appropriately for specialization and is yet another new concept for the programmer to understand and apply. We have unified automatic program specialization and inheritance into a single concept, and implemented this approach in a modified version of Java named JUST. When programming in JUST, inheritance is used to control the automatic application of program specialization to class members during compilation to obtain an efficient implementation. This paper presents the language JUST, which integrates object-oriented concepts, block structure, and techniques from automatic program specialization to provide both a generative programming language where object-oriented designs can be efficiently implemented and a simple yet powerful automatic program specializer for an object-oriented language.
Original languageEnglish
Title of host publicationGenerative Programming and Component Engineering
EditorsG. Karsai, E. Visser
PublisherSpringer
Publication date2004
Pages244-265
ISBN (Print)978-3-540-23580-4
ISBN (Electronic)978-3-540-30175-2
DOIs
Publication statusPublished - 2004
Externally publishedYes
EventThird International Conference on Generative Programming and Component Engineering (GPCE'04) - Vancouver, Canada
Duration: 24. Oct 200428. Oct 2004
Conference number: 3

Conference

ConferenceThird International Conference on Generative Programming and Component Engineering (GPCE'04)
Number3
Country/TerritoryCanada
CityVancouver
Period24/10/200428/10/2004
SeriesLecture Notes in Computer Science
Volume3286
ISSN0302-9743

Fingerprint

Dive into the research topics of 'A Unification of Inheritance and Automatic Program Specialization'. Together they form a unique fingerprint.

Cite this