Generating precise and concise procedure summaries

@inproceedings{citeulike:2402875, address = {New York, NY, USA}, author = {Yorsh, Greta and Yahav, Eran and Chandra, Satish }, booktitle = {POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, citeulike-article-id = {2402875}, doi = {http://dx.doi.org/10.1145/1328438.1328467}, isbn = {9781595936899}, keywords = {abstract\_interpretation, modular\_analysis, null\_pointer, popl08, summary\_analysis, symbolic\_analysis, typestate}, pages = {221--234}, posted-at = {2008-02-20 13:45:53}, priority = {0}, publisher = {ACM}, title = {Generating precise and concise procedure summaries}, url = {http://dx.doi.org/10.1145/1328438.1328467}, year = {2008} }

TY - CONF ID - citeulike:2402875 L3 - citeulike-article-id:2402875 TI - Generating precise and concise procedure summaries T2 - POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages SP - 221 EP - 234 AD - New York, NY, USA PB - ACM SN - 9781595936899 KW - abstract_interpretation KW - modular_analysis KW - null_pointer KW - popl08 KW - summary_analysis KW - symbolic_analysis KW - typestate AU - Yorsh, Greta AU - Yahav, Eran AU - Chandra, Satish PY - 2008/// UR - http://dx.doi.org/10.1145/1328438.1328467 ER -