Sciweavers

3417 search results - page 3 / 684
» Visualizing Partial Evaluation
Sort
View
PEPM
1997
ACM
13 years 11 months ago
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
Tim Sheard
PPSN
2004
Springer
14 years 21 days ago
A Visual Demonstration of Convergence Properties of Cooperative Coevolution
Abstract. We introduce a model for cooperative coevolutionary algorithms (CCEAs) using partial mixing, which allows us to compute the expected long-run convergence of such algorith...
Liviu Panait, R. Paul Wiegand, Sean Luke
VISUALIZATION
2005
IEEE
14 years 27 days ago
Design and Evaluation in Visualization Research
Donald H. House, Victoria Interrante, David H. Lai...
LOPSTR
1992
Springer
13 years 11 months ago
Logimix: A Self-Applicable Partial Evaluator for Prolog
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...
Torben Æ. Mogensen, Anders Bondorf
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
13 years 5 months ago
Interleaving Symbolic Execution and Partial Evaluation
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...
Richard Bubel, Reiner Hähnle, Ran Ji