Two Flavors of Offline Partial Evaluation

Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline partial evaluation approach have not yet been fully explored. We present a comparison of type-directed partial evaluation with standard offline partial evaluation in both a qualitative and quantitative way. For the latter we use implementations of both approaches in Scheme. Both approaches yield equivalent results in comparable time.

• Type: Conference
• Year: 1998
• Where: ASIAN
• Authors: Simon Helsen, Peter Thiemann
• Keywords: Algorithms, ASIAN 1998, Offline Partial Evaluation, Partial Evaluation, Type-directed Partial Evaluation