Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios. AC++ Data Model Supporting Reachability Analysis and Dead Code Detection. IEEE Trans. Software Eng., 24(9):682-694, 1998. [doi]
@article{ChenGK98:1, title = {AC++ Data Model Supporting Reachability Analysis and Dead Code Detection}, author = {Yih-Farn Chen and Emden R. Gansner and Eleftherios Koutsofios}, year = {1998}, url = {http://csdl.computer.org/comp/trans/ts/1998/09/e0682abs.htm}, tags = {analysis, data-flow analysis}, researchr = {https://researchr.org/publication/ChenGK98%3A1}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {24}, number = {9}, pages = {682-694}, }