A computational formalization for partial evaluation

John Hatcliff, Olivier Danvy

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

    Abstract

    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
    Book seriesB R I C S Report Series
    VolumeRS-96-34
    Number of pages67
    ISSN0909-0878
    Publication statusPublished - 1996

    Fingerprint

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

    Cite this