Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.

Shmuel Sagiv Thomas W. Reps Susan Horwitz

Published in: Theor. Comput. Sci. (1996)

Keyphrases

statistical analysis
image analysis
probabilistic model
real time
data mining
machine learning
artificial intelligence
decision making
wide range
special case
automatic analysis