Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All [chapter]

Niels H. Christensen, Robert Glück, Søren Laursen
2000 Lecture Notes in Computer Science  
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
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.
doi:10.1007/3-540-46562-6_7 fatcat:e6ut4eu56nephcsdkwqyx4jppa