Improving the static analysis of embedded languages via partial evaluation.

David Herman Philippe Meunier

Published in: ICFP (2004)

Keyphrases

static analysis
partial evaluation
dynamic analysis
explanation based generalization
source code
symbolic execution
java card
abstract interpretation
test suite
relational databases
regular expressions
domain theory
data sets
reverse engineering
higher order
artificial intelligence
databases