1087 search results - page 10 / 218 » Eta-Redexes in Partial Evaluation |
153
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
169
click to vote
PEPM
1997
ACM
15 years 10 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
136
click to vote
ARITH
2003
IEEE
15 years 11 months ago
2003
IEEE
We aim at evaluating elementary and special functions using small tables and small, rectangular, multipliers. To do that, we show how accurate polynomial approximations whose orde...
174
click to vote
LOPSTR
1992
Springer
15 years 10 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
185
click to vote
PEPM
2004
ACM
15 years 11 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....