Skip to main content Accessibility help
×
Home

A computational formalization for partial evaluation

  • JOHN HATCLIFF (a1) and OLIVIER DANVY (a2)

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. Specifically, we prove that the binding-time improvements given by ‘continuation-based specialization’ can be expressed in the metalanguage via monadic laws.

Copyright

Related content

Powered by UNSILO

A computational formalization for partial evaluation

  • JOHN HATCLIFF (a1) and OLIVIER DANVY (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.