Compiling Actions by Partial Evaluation, Revisited

Authors

  • Olivier Danvy
  • Morten Rhiger

DOI:

https://doi.org/10.7146/brics.v5i13.19285

Abstract

We revisit Bondorf and Palsberg's compilation of actions using< the offline syntax-directed partial evaluator Similix (FPCA'93, JFP'96), and we compare it in detail with using an online type-directed partial evaluator. In contrast to Similix, our type-directed partial evaluator is idempotent and requires no "binding-time improvements." It also appears to consume about 7 times less space and to be about 28 times faster than Similix, and to yield residual programs that are perceptibly more efficient than those generated by Similix.

Downloads

Published

1998-01-13

How to Cite

Danvy, O., & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. BRICS Report Series, 5(13). https://doi.org/10.7146/brics.v5i13.19285