Automatic Determination of May/Must Set Usage in Data-Flow Analysis

Andrew Stone, Michelle Strout, Shweta Behere. Automatic Determination of May/Must Set Usage in Data-Flow Analysis. In Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China. pages 153-162, IEEE, 2008. [doi]

@inproceedings{StoneSB08,
  title = {Automatic Determination of May/Must Set Usage in Data-Flow Analysis},
  author = {Andrew Stone and Michelle Strout and Shweta Behere},
  year = {2008},
  doi = {10.1109/SCAM.2008.28},
  url = {http://dx.doi.org/10.1109/SCAM.2008.28},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/StoneSB08},
  cites = {0},
  citedby = {0},
  pages = {153-162},
  booktitle = {Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China},
  publisher = {IEEE},
}