1097 search results - page 4 / 220 » Partial evaluation of Maple |
FMCO
2009
Springer
13 years 4 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...
PE
2011
Springer
13 years 1 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
ICFP
2004
ACM
14 years 6 months ago
2004
ACM
SLP
1990
13 years 8 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
ERSHOV
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...