A computational formalization for partial evaluation

John Hatcliff, Olivier Danvy

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review


    We 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. It also enables us to express the essence of `control-based binding-time improvements' for let expressions.
    Specically, we prove that the binding-time improvements given by `continuation-based specialization' can be expressed in the metalanguage via monadic laws.
    Original languageEnglish
    JournalMathematical Structures in Computer Science
    Pages (from-to)507-541
    Number of pages35
    Publication statusPublished - 1997


    Dive into the research topics of 'A computational formalization for partial evaluation'. Together they form a unique fingerprint.

    Cite this