3417 search results - page 16 / 684 » Visualizing Partial Evaluation |
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
102
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
DATE
2004
IEEE
15 years 3 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...
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
109
click to vote
EPEW
2008
Springer
15 years 1 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...