Academic
Publications
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages,10.1007/3-540-45142-0_7,Elvira Albert,Sergio Antoy,Germán Vidal

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages   (Citations: 19)
BibTex | RIS | RefWorks Download
We introduce a framework for assessing the eectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models a functional logic pro- gram. Consequently, our assessment is independent of any specic lan- guage implementation or computing environment. We dene several cri- teria for measuring the cost of a computation: number of steps, number of function applications, and pattern matching eort. 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 par- tial 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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: