Aarhus University Seal

A computational formalization for partial evaluation

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

  • Department of Computer Science
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
Number of pages67
Publication statusPublished - 1996

Bibliographical note

Extended Version

See relations at Aarhus University Citationformats

ID: 36020814