Sciweavers

FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
13 years 1 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