| Автор | HATCLIFF, JOHN |
| Автор | DANVY, OLIVIER |
| Дата выпуска | 1997 |
| dc.description | 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. |
| Издатель | Cambridge University Press |
| Название | A computational formalization for partial evaluation |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 7 |
| Первая страница | 507 |
| Последняя страница | 541 |
| Аффилиация | HATCLIFF JOHN; Oklahoma State University |
| Аффилиация | DANVY OLIVIER; Aarhus University |
| Выпуск | 5 |
