Hash-flow taint analysis of higher-order programs.

Shuying Liang Matthew Might

Published in: PLAS (2012)

Keyphrases

higher order
markov random field
statistical analysis
high order
real time
information retrieval
genetic algorithm
artificial intelligence
image segmentation
high level
multi agent
natural images
logic programming
quantitative analysis
static analysis