1097 search results - page 3 / 220 » Partial evaluation of Maple |
MCS
2007
Springer
13 years 5 months ago
2007
Springer
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those ...
SIGMOD
2008
ACM
14 years 6 months ago
2008
ACM
Today's query processing engines do not take advantage of the multiple occurrences of a relation in a query to improve performance. Instead, each instance is treated as a dis...
ASIAN
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
PEPM
1997
ACM
13 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 ...
LOPSTR
1992
Springer
13 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...