Declarative Specialization for Object-Oriented-Program Specialization

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title Declarative Specialization for Object-Oriented-Program Specialization
 
Creator Andersen, Helle Markmann
Schultz, Ulrik Pagh
 
Description The use of partial evaluation for specializing programs written in im- perative languages such as C and Java is hampered by the di-culty of controlling the specialization process. We have developed a simple, declar- ative language for controlling the specialization of Java programs, and in- terfaced this language with the JSpec partial evaluator for Java. This lan- guage, named Pesto, allows declarative specialization of programs written in an object-oriented style of programming. The Pesto compiler auto- matically generates the context information needed for specializing Java programs, and automatically generates guards that enable the specialized code in the right context.
 
Publisher Aarhus University
 
Contributor
 
Date 2004-05-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/7126
10.7146/dpb.v33i569.7126
 
Source DAIMI Report Series; No 569 (2004): PB-569 Declarative Specialization for Object-Oriented-Program Specialization
DAIMI Report Series; No 569 (2004): PB-569 Declarative Specialization for Object-Oriented-Program Specialization
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7126/6089
 

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