K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou. Using Data Groups to Specify and Check Side Effects. In PLDI. pages 246-257, 2002. [doi]
@inproceedings{LeinoPZ02, title = {Using Data Groups to Specify and Check Side Effects}, author = {K. Rustan M. Leino and Arnd Poetzsch-Heffter and Yunhong Zhou}, year = {2002}, doi = {10.1145/512529.512559}, url = {http://doi.acm.org/10.1145/512529.512559}, tags = {data-flow}, researchr = {https://researchr.org/publication/LeinoPZ02}, cites = {0}, citedby = {0}, pages = {246-257}, booktitle = {PLDI}, }