Sciweavers

Share
ICFP
2005
ACM

Fast narrowing-driven partial evaluation for inductively sequential programs

10 years 10 months ago
Fast narrowing-driven partial evaluation for inductively sequential programs
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline. For this purpose, we first characterize a class of programs which are quasiterminating, i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation terminates). Since this class is quite restrictive, we also introduce an annotation algorithm for a broader class of programs so that they behave like quasi-terminating programs w.r.t. an extension of needed narrowing. Preliminary experiments are encouraging and demonstrate the usefulness of our appr...
J. Guadalupe Ramos, Josep Silva, Germán Vid
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ICFP
Authors J. Guadalupe Ramos, Josep Silva, Germán Vidal
Comments (0)
books