%0 Conference Paper %1 conf/ppdp/CalcagnoIO00 %A Calcagno, Cristiano %A Ishtiaq, Samin S. %A O'Hearn, Peter W. %B PPDP %D 2000 %E Gabbrielli, Maurizio %E Pfenning, Frank %I ACM %K dblp %P 190-201 %T Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#CalcagnoIO00 %@ 1-58113-265-4

@inproceedings{conf/ppdp/CalcagnoIO00, added-at = {2018-11-27T00:00:00.000+0100}, author = {Calcagno, Cristiano and Ishtiaq, Samin S. and O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/28d59266450b8df68dffcd1c6cfaedc45/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2000}, editor = {Gabbrielli, Maurizio and Pfenning, Frank}, ee = {https://doi.org/10.1145/351268.351291}, interhash = {28b53d1feee38a8d6edc8361c6beb716}, intrahash = {8d59266450b8df68dffcd1c6cfaedc45}, isbn = {1-58113-265-4}, keywords = {dblp}, pages = {190-201}, publisher = {ACM}, timestamp = {2018-11-28T11:39:26.000+0100}, title = {Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#CalcagnoIO00}, year = 2000 }