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

Baptiste Saleil Marc Feeley

Published in: Dagstuhl Artifacts Ser. (2017)

Keyphrases

static analysis
dynamic analysis
higher order
source code
java card
expressive power
pairwise
high order
reverse engineering
malicious code
smart card
regular expressions
lambda calculus
test generation
formal specification
cross lingual
data mining
test set
markov random field
high level