Efficient and precise array access analysis.

Yunheung Paek Jay P. Hoeflinger David A. Padua

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

Keyphrases

database
statistical analysis
static analysis
expert systems
automatic analysis