Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 62-77, Springer, 2008. [doi]
@inproceedings{ConwayDNB08,
title = {Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors},
author = {Christopher L. Conway and Dennis Dams and Kedar S. Namjoshi and Clark Barrett},
year = {2008},
doi = {10.1007/978-3-540-69166-2_5},
url = {http://dx.doi.org/10.1007/978-3-540-69166-2_5},
tags = {analysis},
researchr = {https://researchr.org/publication/ConwayDNB08},
cites = {0},
citedby = {0},
pages = {62-77},
booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
editor = {María Alpuente and Germán Vidal},
volume = {5079},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-69163-1},
}