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

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.

• Type: Conference
• Year: 1999
• Where: ERSHOV
• Authors: Niels H. Christensen, Robert Glück, Søren Laursen
• Keywords: ERSHOV 1999, Offline Partial Evaluator, Partial Evaluator, Partial Evaluator Systems, Theoretical Computer Science