Sciweavers

Share
WFLP
2000
Springer

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation

10 years 4 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models a functional logic program. Consequently, our assessment is independent of any specific language implementation or computing environment. We define several criteria for measuring the cost of a computation: number of steps, number of function applications, and pattern matching effort. Most importantly, we express the cost of each criterion by means of recurrence equations over algebraic data types, which can be automatically inferred from the partial evaluation process itself. In some cases, the equations can be solved by transforming their arguments from arbitrary data types to natural numbers. In other cases, it is possible to estimate the improvement of a partial evaluation by analyzing the associated cost recurrence equations.
Elvira Albert, Sergio Antoy, Germán Vidal
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 2000
Where WFLP
Authors Elvira Albert, Sergio Antoy, Germán Vidal
Comments (0)
books