Binding-time analysis in partial evaluation: One size does Not fit all

Abstract. Existing partial evaluators usually fix the strategy for bind-ing-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding precision, termination, and code ex-plosion 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 spe-cialization 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.