Sciweavers

LOPSTR
2007
Springer

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

13 years 9 months ago
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of functional languages, current approaches are either overly restrictive or destroy sharing through the specialization process, which is unacceptable from a performance point of view. In this work, we present the basis of a new partial evaluation scheme for first-order lazy functional programs that preserves sharing through the specialization process and still allows the unfolding of arbitrary function calls.
Sebastian Fischer, Josep Silva, Salvador Tamarit,
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LOPSTR
Authors Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
Comments (0)