Extending the Power of Automatic Constraint-based Partial Evaluators

L. Lafave, J. P. Gallagher

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Abstract

In the control of automatic program specialisers, there has always been a tradeoff between precision and termination. What is necessary to extend the power of automatic partial evaluation? We compare two frameworks for partial evaluation: constraint-based partial evaluation, and generalized partial computation. Both techniques incorporate advanced information propagation. Using theorem proving, generalized partial computation achieves greater specialisation than constraint-based partial evaluation, but the constraint-based approach has a dened procedure for control of the algorithm. We examine the differences between the two techniques, in light of a particularly difcult specialisation problem, McCarthy's 91-function, and identify features which may lead to the eventual development of a powerful, automatic partial evaluator. Categories and Subject Descriptors: I.2.2 [Articial Intelligence]: Program Transformation.

OriginalsprogEngelsk
TidsskriftACM Computing Surveys
Vol/bind30
Udgave nummer3
Sider (fra-til)1-6
Antal sider6
ISSN0360-0300
DOI
StatusUdgivet - 1 sep. 1998
Udgivet eksterntJa

Citer dette