Towards Partial Evaluation of Full Scheme

We present a binding-time analysis for pure Scheme which allows an offline partial evaluator to successfully treat its reflective features eval, apply, and the control operator call/cc. Additionally, our analysis enables the specializer to select the most efficient representation for each object and allows to remove some limitations of previous specializers. The theoretical development is backed by an implementation.

thiemann@informatik.uni-tuebingen.de