On the complexity of partially-flow-sensitive alias analysis.

Noam Rinetzky G. Ramalingam Shmuel Sagiv Eran Yahav

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases

artificial intelligence
data structure
worst case
quantitative analysis
automatic analysis
flow analysis
database
information retrieval
image sequences
computational complexity
data analysis
probabilistic model
medical images