A Computational Formalization for Partial Evaluation (Extended Version)
AbstractWe formalize a partial evaluator for Eugenio Moggi's computational
metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding, and enables us to express the essence of "control-based binding-time improvements" for let expressions.
Specifically, we prove that the binding-time improvements
given by "continuation-based specialization" can be expressed in the metalanguage via monadic laws.
How to Cite
Hatcliff, J., & Danvy, O. (1996). A Computational Formalization for Partial Evaluation (Extended Version). BRICS Report Series, 3(34). https://doi.org/10.7146/brics.v3i34.20015
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.