Sciweavers

96
Voted
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
14 years 6 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