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

Abstract. Existing partial evaluators usually ¯x the strategy for bind-ing-time analysis. But a single strategy cannot ful¯ll 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 di®erent strategies ranging from maximally polyvariant to entirely uniform analysis, and thereby make oine spe-cialization more practical in a realistic setting. The core of the analysis has been implemented in FSpec, an oine partial evaluator for a subset of Fortran 77.