1089 search results - page 4 / 218 » Oracle-Based Partial Evaluation |
FMCO
2009
Springer
13 years 5 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...
MOC
2000
13 years 7 months ago
2000
This article considers the problem of evaluating all pure and mixed partial derivatives of some vector function defined by an evaluation procedure. The natural approach to evaluati...
PRICAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
PE
2011
Springer
13 years 2 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 7 months ago
2004
ACM