Precise Interprocedural Dataflow Analysis via Graph Reachability.

Thomas W. Reps Susan Horwitz Shmuel Sagiv

Published in: POPL (1995)

Keyphrases

state space
data analysis
artificial intelligence
image segmentation
random walk
quantitative analysis
graph model
data flow