1087 search results - page 28 / 218 » Eta-Redexes in Partial Evaluation |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a technique to improve the efficiency of hardware-software cosimulation, using design information known at simulator compile-time. The generic term for such optimizatio...
EPEW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
ENTCS
2007
13 years 9 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
ICMLA
2007
13 years 11 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
PEPM
1994
ACM
14 years 1 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...