Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All (2000)
| Citations: | 4 - 1 self |
BibTeX
@MISC{Christensen00binding-timeanalysis,
author = {Niels H. Christensen and Robert Glück and Søren Laursen},
title = {Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding precision, termination, and code explosion in partial evaluators. Our goal is to improve the usability of partial evaluator systems by developing an adaptive approach that can accommodate a variety of different strategies ranging from maximally polyvariant to entirely uniform analysis, and thereby make offline specialization more practical in a realistic setting. The core of the analysis has been implemented in FSpec, an offline partial evaluator for a subset of Fortran 77.
