@inproceedings{rinetzky2007on,
author = {Rinetzky, Noam and Ramalingam, G. and Sagiv, Mooly and Yahav, Eran},
title = {On the Complexity of Partially-Flow-Sensitive Alias Analysis},
booktitle = {ACM Transactions on Programming Languages and Systems},
year = {2007},
month = {January},
abstract = {We introduce the notion of a partially-flow-sensitive analysis based on the number of read and write operations that are guaranteed to be analyzed in a sequential manner. We study the complexity of partially-flow-sensitive alias analysis and show that precise alias analysis with a very limited flow-sensitivity is as hard as precise flow-sensitive alias analysis, both when dynamic memory allocation is allowed, as well as in the absence of dynamic memory allocation.},
publisher = {Association for Computing Machinery, Inc.},
url = {http://approjects.co.za/?big=en-us/research/publication/on-the-complexity-of-partially-flow-sensitive-alias-analysis/},
edition = {ACM Transactions on Programming Languages and Systems},
}