AC++ Data Model Supporting Reachability Analysis and Dead Code Detection

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},
}