1087 search results - page 1 / 218 » Eta-Redexes in Partial Evaluation |
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
FMCO
2009
Springer
13 years 2 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
ICFP
2004
ACM
14 years 4 months ago
2004
ACM
JFLP
2002
13 years 4 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
ICFP
2005
ACM
13 years 10 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...