Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv. Precise and compact modular procedure summaries for heap manipulating programs. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 567-577, ACM, 2011. [doi]
@inproceedings{DilligDAS11,
title = {Precise and compact modular procedure summaries for heap manipulating programs},
author = {Isil Dillig and Thomas Dillig and Alex Aiken and Mooly Sagiv},
year = {2011},
doi = {10.1145/1993498.1993565},
url = {http://doi.acm.org/10.1145/1993498.1993565},
researchr = {https://researchr.org/publication/DilligDAS11},
cites = {0},
citedby = {0},
pages = {567-577},
booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011},
editor = {Mary W. Hall and David A. Padua},
publisher = {ACM},
isbn = {978-1-4503-0663-8},
}