Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis.

Baptiste Saleil Marc Feeley

Published in: ECOOP (2017)

Keyphrases

static analysis
dynamic analysis
higher order
source code
high order
malicious code
java card
reverse engineering
expressive power
databases
data mining
model checking
regular expressions
abstract interpretation
test generation
language independent
markov random field
pairwise
real world