Thomas W. Reps. Undecidability of context-sensitive data-independence analysis. ACM Transactions on Programming Languages and Systems, 22(1):162-186, 2000. [doi]
@article{Reps00,
title = {Undecidability of context-sensitive data-independence analysis},
author = {Thomas W. Reps},
year = {2000},
doi = {10.1145/345099.345137},
url = {http://doi.acm.org/10.1145/345099.345137},
tags = {analysis, context-aware, data-flow analysis},
researchr = {https://researchr.org/publication/Reps00},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {22},
number = {1},
pages = {162-186},
}